mirror of
https://github.com/facebook/sapling.git
synced 2024-10-12 01:39:21 +03:00
26 lines
603 B
Python
Executable File
26 lines
603 B
Python
Executable File
#!/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
|