From acc597ff28e47b93756ae2aa36150c3d402aad00 Mon Sep 17 00:00:00 2001 From: John Goerzen Date: Sat, 7 Jul 2007 01:50:43 +0100 Subject: [PATCH] Write current PID to ~/.offlineimap/pid fixes deb#217550 refs deb#410181 --- offlineimap/init.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/offlineimap/init.py b/offlineimap/init.py index 3ff343e..8d2df12 100644 --- a/offlineimap/init.py +++ b/offlineimap/init.py @@ -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