fix 'allmydata restart'

diff --git a/allmydata/scripts/runner.py b/allmydata/scripts/runner.py
index 76310ed29a3900a843c027a1f6e361320d6b05db..de2e5e1358a0786c9c7e3e631aeabf0202298a5e 100644 (file)
--- 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