diff options
| author | petr@mysql.com <> | 2005-10-17 05:15:57 +0400 |
|---|---|---|
| committer | petr@mysql.com <> | 2005-10-17 05:15:57 +0400 |
| commit | efe30a1c52ba7b2da8bebc8eb90b8ac409e91a37 (patch) | |
| tree | 12f2aa63aef6024ea95acbc7d35bd41160ca9dce /server-tools | |
| parent | 7635353bc8c7aa2cb5c3bc306674ca02a1be44f0 (diff) | |
| parent | 5423ab00deaaea044875ba3644e67eeb7eb20820 (diff) | |
| download | mariadb-git-efe30a1c52ba7b2da8bebc8eb90b8ac409e91a37.tar.gz | |
Merge mysqldev@production.mysql.com:my/mysql-5.0-release
into mysql.com:/home/cps/mysql/trees/mysql-5.0
Diffstat (limited to 'server-tools')
| -rw-r--r-- | server-tools/instance-manager/manager.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server-tools/instance-manager/manager.cc b/server-tools/instance-manager/manager.cc index a42a25eadf3..cc16ee6562f 100644 --- 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 |