walmgr: Detect stale pidfile by doing kill(pid, 0) to see if process exists.
authorMarko Kreen <markokr@gmail.com>
Wed, 12 Mar 2008 16:19:29 +0000 (16:19 +0000)
committerMarko Kreen <markokr@gmail.com>
Wed, 12 Mar 2008 16:19:29 +0000 (16:19 +0000)
commit30bd668ff3eb2802bc27083394da94eaea973af5
treec0e679c06ef4ced7c07be3f5ea5bd02f70d8c759
parent9f3bb6204dabb8c7c45a57f97b843adc4a14bacd
walmgr: Detect stale pidfile by doing kill(pid, 0) to see if process exists.

Patch by Charles Duffy
python/walmgr.py