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
efe30a1c · petr@mysql.com · 7635353b · 5423ab00 · efe30a1c
Commit efe30a1c authored Oct 17, 2005 by petr@mysql.com
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