##// END OF EJS Templates
templatefilters: add filter to convert date to local date (issue1674)...
templatefilters: add filter to convert date to local date (issue1674) Issue1674 suggests the localdate filter be applied as default to log, but this patch only introduces the filter, not the changed default behaviour.

File last commit:

r7344:58fd3c71 default
r8591:08c93b07 default
Show More
killdaemons.py
25 lines | 608 B | text/x-python | PythonLexer
#!/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