[FIX] server: graceful shutdown must send SIGINT instead of SIGTERM to workers

Workers do not specifically handle SIGTERM so it can be used to
force quit them, but the graceful shutdown is triggered by SIGINT.

Closes #6998
This commit is contained in:
Laurent Mignon (ACSONE) 2015-06-09 10:06:55 +02:00 committed by Denis Ledoux
parent e470385d55
commit e17844c946
1 changed files with 1 additions and 1 deletions

View File

@ -184,7 +184,7 @@ class Multicorn(object):
_logger.info("Stopping gracefully")
limit = time.time() + self.timeout
for pid in self.workers.keys():
self.worker_kill(pid, signal.SIGTERM)
self.worker_kill(pid, signal.SIGINT)
while self.workers and time.time() < limit:
self.process_zombie()
time.sleep(0.1)