Commit 1d8eee68 authored by Antoine Catton's avatar Antoine Catton

Use terminate() instead of kill() to stop the promise.

This send SIGTERM instead of SIGKILL to the promise. This allow the
promise to catch te signal and do some clean up before exiting.
parent 375602ba
......@@ -465,7 +465,7 @@ class Slapgrid(object):
if process_handler.poll() is None:
process_handler.kill()
process_handler.terminate()
raise Slapgrid.PromiseError("The promise %r timed out" % promise)
elif process_handler.poll() != 0:
stderr = process_handler.communicate()[1]
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment