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
..
2008-08-02 15:31:43 -05:00
2008-07-16 14:12:38 -05:00
2006-08-12 05:15:55 +01:00
2008-03-03 08:22:44 -06:00
2006-08-12 05:15:55 +01:00
2006-08-12 05:15:55 +01:00
2006-08-12 05:15:55 +01:00
2008-08-02 17:44:20 -05:00