2005-11-16 Andrew Stubbs <andrew.stubbs@st.com>

	* event-top.h (async_init_signals): Add SIGTERM handler.
	(handle_sigterm): New function.
	* event-top.h (handle_sigterm): New prototype.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 9a322f73b8637ee68e81317eb1f7d4fca4d68ed7..5b9ba2e0e2da7f00e38deb83658a27d1c8f5fff6 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2005-11-25  Andrew Stubbs  <andrew.stubbs@st.com>
+
+       * event-top.h (async_init_signals): Add SIGTERM handler.
+       (handle_sigterm): New function.
+       * event-top.h (handle_sigterm): New prototype.
+
 2005-11-25  Andrew Stubbs  <andrew.stubbs@st.com>
 
        * cli-decode.c (find_command_name_length): New function.

diff --git a/gdb/event-top.c b/gdb/event-top.c
index 438ef2035dc9f9a4eb85251fcdeeadd9fd475845..49b56663ea6eae15d2468e521784545b92f53ff5 100644 (file)
--- a/gdb/event-top.c
+++ b/gdb/event-top.c
@@ -892,6 +892,7 @@ async_init_signals (void)
   signal (SIGINT, handle_sigint);
   sigint_token =
     create_async_signal_handler (async_request_quit, NULL);
+  signal (SIGTERM, handle_sigterm);
 
   /* If SIGTRAP was set to SIG_IGN, then the SIG_IGN will get passed
      to the inferior and breakpoints will be ignored.  */
@@ -964,6 +965,15 @@ handle_sigint (int sig)
     mark_async_signal_handler_wrapper (sigint_token);
 }
 
+/* Quit GDB if SIGTERM is received.
+   GDB would quit anyway, but this way it will clean up properly.  */
+void
+handle_sigterm (int sig)
+{
+  signal (sig, handle_sigterm);
+  quit_force ((char *) 0, stdin == instream);
+}
+
 /* Do the quit. All the checks have been done by the caller. */
 void
 async_request_quit (gdb_client_data arg)

diff --git a/gdb/event-top.h b/gdb/event-top.h
index 7e48a6ca1904348f696dfe7a4dc2b7faed0b3d28..9eead416ed256b2646eaec77897da6baaf743e55 100644 (file)
--- a/gdb/event-top.h
+++ b/gdb/event-top.h
@@ -97,6 +97,7 @@ extern void handle_stop_sig (int sig);
 #endif
 #endif
 extern void handle_sigint (int sig);
+extern void handle_sigterm (int sig);
 extern void pop_prompt (void);
 extern void push_prompt (char *prefix, char *prompt, char *suffix);
 extern void gdb_readline2 (void *client_data);