PATCH: Download sometimes fails to find exec file

[Fernando Nasser <fnasser at cygnus dot com>]

This is quite similar to the previous problem.  It is also related to 
passing Cygwin filenames to Tcl.

Here you are, sometimes, prevented to download your executable because 
Insight thinks that the file does not exist.

-- 
Fernando Nasser
Red Hat - Toronto                       E-Mail:  fnasser@redhat.com
2323 Yonge Street, Suite #300
Toronto, Ontario   M4P 2C9



Index: download.itb
===================================================================
RCS file: /cvs/cvsfiles/devo/gdb/gdbtk/library/download.itb,v
retrieving revision 1.1
diff -c -p -r1.1 download.itb
*** download.itb        2000/02/04 13:52:34     1.1
--- download.itb        2000/10/04 19:27:58
*************** body Download::download_it { } {
*** 147,152 ****
--- 147,153 ----
    global gdb_exe_name gdb_downloading gdb_loaded
    global gdb_target_name gdb_pretty_name
    global gdb_running
+   global tcl_platform
    
    debug "exe=$gdb_exe_name downloading=$gdb_downloading"
    debug "    loaded=$gdb_loaded target=$gdb_target_name running=$gdb_running"
*************** body Download::download_it { } {
*** 185,191 ****
      }
    }
    
!   if {! [file exists $gdb_exe_name]} {
      tk_messageBox -icon error -title GDB -type ok -modal task\
        -message "Request to download non-existent executable $gdb_exe_name"
      set gdb_downloading 0
--- 186,195 ----
      }
    }
    
!   if {[string compare $tcl_platform(platform) "windows"] == 0} {
!     set f [ide_cygwin_path to_win32 $gdb_exe_name]
!   }
!   if {! [file exists $f]} {
      tk_messageBox -icon error -title GDB -type ok -modal task\
        -message "Request to download non-existent executable $gdb_exe_name"
      set gdb_downloading 0