diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-11-10 16:25:20 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-11-10 16:25:20 +0200 |
commit | 056ef0f2c90d57675b18ebe768e9b2424dd9e941 (patch) | |
tree | cdd33e01db6c0dfa675bb275d8045cb3a29d59cc /muck_poc | |
parent | 44700fb06a45af7e947d27c4338034379f4a4d49 (diff) | |
download | muck-poc-056ef0f2c90d57675b18ebe768e9b2424dd9e941.tar.gz |
Change: make pid config setting optional
Diffstat (limited to 'muck_poc')
-rwxr-xr-x | muck_poc | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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) |