# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1433791305 18000
# Node ID 123c99034cb643ee46d0b54d4a583054be438d13
# Parent  4d2b9b304ad060edf21122a9dc1ee8025e3798a1
tests: make killdaemons.py use DAEMON_PIDS by default

diff -r 4d2b9b304ad0 -r 123c99034cb6 tests/killdaemons.py
--- a/tests/killdaemons.py	Mon Jun 08 14:44:30 2015 -0500
+++ b/tests/killdaemons.py	Mon Jun 08 14:21:45 2015 -0500
@@ -87,5 +87,9 @@
         pass
 
 if __name__ == '__main__':
-    path, = sys.argv[1:]
+    if len(sys.argv) > 1:
+        path, = sys.argv[1:]
+    else:
+        path = os.environ["DAEMON_PIDS"]
+
     killdaemons(path)