tests/killdaemons.py
changeset 37892 89793289c891
parent 32876 ed1f376090cd
child 43076 2372284d9457
--- a/tests/killdaemons.py	Mon Apr 30 19:54:55 2018 -0700
+++ b/tests/killdaemons.py	Sat May 05 19:00:03 2018 -0700
@@ -124,4 +124,4 @@
     else:
         path = os.environ["DAEMON_PIDS"]
 
-    killdaemons(path)
+    killdaemons(path, remove=True)