summaryrefslogtreecommitdiff
path: root/muck_poc
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2018-11-10 16:25:20 +0200
committerLars Wirzenius <liw@liw.fi>2018-11-10 16:25:20 +0200
commit056ef0f2c90d57675b18ebe768e9b2424dd9e941 (patch)
treecdd33e01db6c0dfa675bb275d8045cb3a29d59cc /muck_poc
parent44700fb06a45af7e947d27c4338034379f4a4d49 (diff)
downloadmuck-poc-056ef0f2c90d57675b18ebe768e9b2424dd9e941.tar.gz
Change: make pid config setting optional
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)