Write current PID to ~/.offlineimap/pid

fixes deb#217550
refs deb#410181
This commit is contained in:
John Goerzen 2007-07-07 01:50:43 +01:00
parent 253e0143a8
commit acc597ff28

View File

@ -102,6 +102,13 @@ def startup(versionno):
lock(config, ui)
try:
pidfd = open(config.getmetadatadir() + "/pid", "w")
pidfd.write(os.getpid())
pidfd.close()
except:
pass
try:
if options.has_key('-l'):
sys.stderr = ui.logfile