Exit if pid file already exists

2013-11-26 20:03:57 +01:00
parent 681d990f90
commit f71ede45f8
1 changed files with 3 additions and 0 deletions
--- a/overviewer.py
+++ b/overviewer.py
@@ -140,6 +140,9 @@ def main():
        return 0

    if options.pid:
+		if os.path.exists(options.pid):
+			print("Already running (pid exists) - exiting..")
+			return 0
        with open(options.pid,"w") as f:
            f.write(str(os.getpid()))
    # if --check-terrain was specified, but we have NO config file, then we cannot