changeset 25473:123c99034cb6

tests: make killdaemons.py use DAEMON_PIDS by default
author Matt Mackall <mpm@selenic.com>
date Mon, 08 Jun 2015 14:21:45 -0500
parents 4d2b9b304ad0
children 8c14f87bd0ae
files tests/killdaemons.py
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)