Merge mysqldev@production.mysql.com:my/mysql-5.0-release

into mysql.com:/home/cps/mysql/trees/mysql-5.0

Merge mysqldev@production.mysql.com:my/mysql-5.0-release
into mysql.com:/home/cps/mysql/trees/mysql-5.0
8a92bba6 · unknown · cced6ea2 · cecfe972 · 8a92bba6
Commit 8a92bba6 authored Oct 17, 2005 by unknown
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

server-tools/instance-manager/manager.cc server-tools/instance-manager/manager.cc +4 -0

No files found.
--- a/server-tools/instance-manager/manager.cc
+++ b/server-tools/instance-manager/manager.cc
@@ -231,6 +231,10 @@ void manager(const Options &options)
    }

 #ifndef __WIN__
+#ifdef IGNORE_SIGHUP_SIGQUIT
+    if ( SIGHUP == signo )
+      continue;
+#endif
    if (THR_SERVER_ALARM == signo)
      process_alarm(signo);
    else