diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-04-18 13:39:14 -0500 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-04-18 13:39:14 -0500 |
commit | c6afe5d6597d3648bc1c6bc2e25102cad05b2227 (patch) | |
tree | f5f7675c87bce0e4e99793114f24b64088e86b95 /yarns | |
parent | f9ba0c8565763cc185d2fbe94bb0296d845f210e (diff) | |
download | muck-poc-c6afe5d6597d3648bc1c6bc2e25102cad05b2227.tar.gz |
Add: optional port config setting for port to listen on
Defaults to the old 12765 port number.
Diffstat (limited to 'yarns')
-rw-r--r-- | yarns/lib.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/yarns/lib.py b/yarns/lib.py index f64af8d..3293a5d 100644 --- a/yarns/lib.py +++ b/yarns/lib.py @@ -41,6 +41,7 @@ def start_muck(): config = { 'pid': 'muck.pid', + 'port': 9999, 'log': 'muck.log', 'store': datadir, 'signing-key-filename': pubkey, @@ -58,7 +59,7 @@ def start_muck(): ] subprocess.check_call(argv) time.sleep(2) - V['base_url'] = 'http://127.0.0.1:{}'.format(12765) + V['base_url'] = 'http://127.0.0.1:{}'.format(config['port']) def stop_muck(): |