author | Wagner Bruna <wbruna@softwareexpress.com.br> |
Fri, 29 Apr 2011 18:11:54 -0300 | |
branch | stable |
changeset 14106 | 163e8b145b3f |
parent 10905 | 13a1b2fb7ef2 |
child 17464 | eddfb9a550d0 |
permissions | -rwxr-xr-x |
#!/usr/bin/env python import os, time, errno, signal # Kill off any leftover daemon processes try: fp = open(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