tests: make killdaemons.py use DAEMON_PIDS by default
authorMatt Mackall <mpm@selenic.com>
Mon, 08 Jun 2015 14:21:45 -0500
changeset 25473 123c99034cb6
parent 25472 4d2b9b304ad0
child 25474 8c14f87bd0ae
tests: make killdaemons.py use DAEMON_PIDS by default
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)