From 7ac10e626c016f3f7263d3d340cecef0892dac77 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Mon, 5 Nov 2012 12:55:54 -0500 Subject: [PATCH] zephyr_mirror: Use SIGTERM to try to kill children. It's generally best to first try killing with SIGTERM, and if we fail to kill the child, we'll end up trying to kill them with SIGKILL anyway when the new zephyr_mirror process starts up, (imported from commit cfee2dd5f809f6e38d90a09be82719a8660d8377) --- bots/zephyr_mirror.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bots/zephyr_mirror.py b/bots/zephyr_mirror.py index 5737229..871fe0f 100755 --- a/bots/zephyr_mirror.py +++ b/bots/zephyr_mirror.py @@ -205,7 +205,7 @@ def maybe_restart_mirroring_script(): print print "%s: zephyr mirroring script has been updated; restarting..." % \ (datetime.datetime.now()) - os.kill(child_pid, signal.SIGKILL) + os.kill(child_pid, signal.SIGTERM) while True: try: if bot_name == "extra_mirror.py":