Ben Willard 04a6270058 Fix a bug preventing the pid file from being empty. ...

Convert os.getpid() to a string before writing it to the pid file in
order to avoid generating an empty pid file.

2008-08-07 21:09:11 -05:00

7.5 KiB

Raw Blame History

View Raw