projects / skytools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 245b5a7) | patch
skytools.signal_pidfile: ignore empty pidfile, some cleanups
authorMarko Kreen <markokr@gmail.com>
Wed, 7 Dec 2011 10:10:34 +0000 (12:10 +0200)
committerMarko Kreen <markokr@gmail.com>
Wed, 7 Dec 2011 10:10:34 +0000 (12:10 +0200)
commit1621311b66c33749caafc6b0291412c6b4d376a3
treecc770722a19cb7c7554db415d179273702d86170tree
parent245b5a79e88681529631edcc7f7e5b1cacfe1d04commit | diff
skytools.signal_pidfile: ignore empty pidfile, some cleanups

Empty pidfile can happen if old process failed to write it
for some reason.
python/skytools/scripting.py diff | blob | blame | history
Skytools master repo.