diff options
| author | Marko Kreen | 2011-12-07 10:10:34 +0000 |
|---|---|---|
| committer | Marko Kreen | 2011-12-07 10:10:34 +0000 |
| commit | 1621311b66c33749caafc6b0291412c6b4d376a3 (patch) | |
| tree | cc770722a19cb7c7554db415d179273702d86170 /python/skytools/timeutil.py | |
| parent | 245b5a79e88681529631edcc7f7e5b1cacfe1d04 (diff) | |
skytools.signal_pidfile: ignore empty pidfile, some cleanups
Empty pidfile can happen if old process failed to write it
for some reason.
Diffstat (limited to 'python/skytools/timeutil.py')
0 files changed, 0 insertions, 0 deletions