author | Benoit Boissinot <benoit.boissinot@ens-lyon.org> |
Mon, 12 Jan 2009 17:51:57 +0100 | |
changeset 7625 | 930a2be7e875 |
parent 7344 | 58fd3c718ca4 |
child 9031 | 3b76321aa0de |
permissions | -rwxr-xr-x |
#!/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