# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1226096933 21600
# Node ID 17bcbb020dda24fb87c655873432df8fa5e09b75
# Parent  f4dcce73f36243502cc4c89f81c910187860e097
tests: add killdaemons helper script

[ orgininal upstream message ]

diff -r f4dcce73f362 -r 17bcbb020dda tests/killdaemons.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/killdaemons.py	Fri Nov 07 16:28:53 2008 -0600
@@ -0,0 +1,25 @@
+#!/usr/bin/env python
+
+import os, sys, time, errno, signal
+
+# Kill off any leftover daemon processes
+try:
+    fp = file(os.environ['DAEMON_PIDS'])
+    for line in fp:
+        try:
+            pid = int(line)
+        except ValueError:
+            continue
+        try:
+            os.kill(pid, 0)
+            os.kill(pid, signal.SIGTERM)
+            for i in range(10):
+                time.sleep(0.05)
+                os.kill(pid, 0)
+            os.kill(pid, signal.SIGKILL)
+        except OSError, err:
+            if err.errno != errno.ESRCH:
+                raise
+    fp.close()
+except IOError:
+    pass