From 2bdff04689abc8dda238b623db557b4aa5237a10 Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Tue, 5 Dec 2006 12:37:58 -0700 Subject: [PATCH] fix 'allmydata restart' --- allmydata/scripts/runner.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/allmydata/scripts/runner.py b/allmydata/scripts/runner.py index 76310ed2..de2e5e13 100644 --- a/allmydata/scripts/runner.py +++ b/allmydata/scripts/runner.py @@ -161,7 +161,7 @@ def stop(config): pid = int(pid) timer = 0 - os.kill(pid, signal.TERM) + os.kill(pid, signal.SIGTERM) time.sleep(0.1) while timer < 5: # poll once per second until twistd.pid goes away, up to 5 seconds -- 2.45.2