summaryrefslogtreecommitdiff
path: root/muck_poc
diff options
context:
space:
mode:
Diffstat (limited to 'muck_poc')
-rwxr-xr-xmuck_poc7
1 files changed, 4 insertions, 3 deletions
diff --git a/muck_poc b/muck_poc
index 4832a6d..036389b 100755
--- a/muck_poc
+++ b/muck_poc
@@ -214,9 +214,10 @@ logging.info('Muck starts')
signing_key_text = open(config['signing-key-filename']).read()
store = muck.Store(config['store'])
-pid = os.getpid()
-with open(config['pid'], 'w') as f:
- f.write(str(pid))
+if config.get('pid'):
+ pid = os.getpid()
+ with open(config['pid'], 'w') as f:
+ f.write(str(pid))
app = bottle.default_app()
api = MuckAPI(app, store, signing_key_text)