diff --git a/server-tools/instance-manager/manager.cc b/server-tools/instance-manager/manager.cc
index a42a25eadf36e1b401410aa03b144073d9686251..cc16ee6562f97f3effc61f7e880a0ef47c69453e 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