# HG changeset patch
# User Patrick Mezard <patrick@mezard.eu>
# Date 1345495011 -7200
# Node ID 7f09e7ac63a73af0a71c0b0a0e1e63128085c77b
# Parent  79d7aa832cf4c29e672bb8501efedd2fe87439ca
killdaemons: take file argument explicitely

It makes it easier to use as a generic replacement for kill utility,
mostly for Windows tests.

[ original upstream message ]

diff -r 79d7aa832cf4 -r 7f09e7ac63a7 tests/killdaemons.py
--- a/tests/killdaemons.py	Sun Aug 19 18:06:15 2012 +0200
+++ b/tests/killdaemons.py	Mon Aug 20 22:36:51 2012 +0200
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 
-import os, time, errno, signal
+import os, sys, time, errno, signal
 
 if os.name =='nt':
     import ctypes
@@ -49,5 +49,6 @@
         pass
 
 if __name__ == '__main__':
-    killdaemons(os.environ['DAEMON_PIDS'])
+    path, = sys.argv[1:]
+    killdaemons(path)