diff options
| author | Marko Kreen | 2008-03-12 16:19:29 +0000 |
|---|---|---|
| committer | Marko Kreen | 2008-03-12 16:19:29 +0000 |
| commit | 30bd668ff3eb2802bc27083394da94eaea973af5 (patch) | |
| tree | c0e679c06ef4ced7c07be3f5ea5bd02f70d8c759 /python/skytools/dbstruct.py | |
| parent | 9f3bb6204dabb8c7c45a57f97b843adc4a14bacd (diff) | |
walmgr: Detect stale pidfile by doing kill(pid, 0) to see if process exists.
Patch by Charles Duffy
Diffstat (limited to 'python/skytools/dbstruct.py')
0 files changed, 0 insertions, 0 deletions