From 7a5fbc162238ccc68b6bc54954abbf36c4102c1e Mon Sep 17 00:00:00 2001 From: whitequark Date: Tue, 4 Jul 2017 17:54:18 +0000 Subject: [PATCH] devtool: forward port 1383 (moninj). --- artiq/frontend/artiq_devtool.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/artiq/frontend/artiq_devtool.py b/artiq/frontend/artiq_devtool.py index 16b53863a..823124033 100755 --- a/artiq/frontend/artiq_devtool.py +++ b/artiq/frontend/artiq_devtool.py @@ -149,7 +149,7 @@ def main(): local_stream.close() remote_stream.close() - for port in (1380, 1381, 1382): + for port in (1380, 1381, 1382, 1383): thread = threading.Thread(target=forwarder, args=(port,), name="port-{}".format(port), daemon=True) thread.start()