Check if pid file exists before removing it

darcs-hash:20070619191207-86b55-70c379307a268b19e55bffd4203e19351e63c467.gz
This commit is contained in:
David Rousselie
2007-06-19 21:12:07 +02:00
parent cb4b3829e6
commit f79c1ee4bf

View File

@@ -194,6 +194,7 @@ class JCLRunner(object):
run_func() run_func()
self.logger.debug(self.component_name + " is exiting") self.logger.debug(self.component_name + " is exiting")
finally: finally:
if os.path.exists(self.pid_file):
os.remove(self.pid_file) os.remove(self.pid_file)
def run(self): def run(self):