Re: [patch] Fix saving of sessions (or lack of...)

[Fernando Nasser <fnasser@redhat.com>]

This one is in.

Fernando Nasser wrote:
> 
> If we exit a debugging session while the inferior is running, or while
> we are downloading, the session is not saved.
> 
> I believe the session should be saved anyway.
> 
> The patch is attached.
> 
> ChangeLog:
> 
>    * library/interface.tcl (gdbtk_quit_check): Save session whenever
>    possible.
> 
>   ------------------------------------------------------------------------
> Index: interface.tcl
> ===================================================================
> RCS file: /cvs/src/src/gdb/gdbtk/library/interface.tcl,v
> retrieving revision 1.11
> diff -c -p -r1.11 interface.tcl
> *** interface.tcl       2000/12/07 21:56:25     1.11
> --- interface.tcl       2000/12/30 07:45:36
> *************** proc gdbtk_quit_check {} {
> *** 222,228 ****
>       if {![gdbtk_tcl_query $msg no]} {
>         return 0
>       }
> !   } elseif {$gdb_exe_name != ""} {
>       session_save
>     }
>     return 1
> --- 222,231 ----
>       if {![gdbtk_tcl_query $msg no]} {
>         return 0
>       }
> !   }
> !
> !   # If we have an executable file loaded, save a session associated to it
> !   if {$gdb_exe_name != ""} {
>       session_save
>     }
>     return 1

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