author | Matt Mackall <mpm@selenic.com> |
Fri, 07 Nov 2008 16:28:53 -0600 | |
branch | stable |
changeset 1123 | 17bcbb020dda |
child 1124 | 6a5b8503058d |
permissions | -rw-r--r-- |
#!/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