startstop_node.py: use SIGINT instead of SIGTERM, to allow the node a chance to clean up

diff --git a/src/allmydata/scripts/startstop_node.py b/src/allmydata/scripts/startstop_node.py
index d688cf295648ac5396f6082c13d4bc58e5fe3683..51a59403581da8aba07bcd8674cf831217bc359c 100644 (file)
--- a/src/allmydata/scripts/startstop_node.py
+++ b/src/allmydata/scripts/startstop_node.py
@@ -92,7 +92,7 @@ def do_stop(basedir, config, out=sys.stdout, err=sys.stderr):
 
     timer = 0
     try:
-        os.kill(pid, signal.SIGTERM)
+        os.kill(pid, signal.SIGINT)
     except OSError, oserr:
         if oserr.errno == 3:
             print oserr.strerror