From 10ee3f19a83babd5f5f6e30dd16cb7f4d9b276cc Mon Sep 17 00:00:00 2001 From: Chris Ballance Date: Sat, 25 Nov 2017 11:36:20 +0000 Subject: [PATCH] dashboard: close config RPC Client cleanly at exit --- artiq/frontend/artiq_dashboard.py | 1 + 1 file changed, 1 insertion(+) diff --git a/artiq/frontend/artiq_dashboard.py b/artiq/frontend/artiq_dashboard.py index 5ecfccc38..a00675387 100755 --- a/artiq/frontend/artiq_dashboard.py +++ b/artiq/frontend/artiq_dashboard.py @@ -113,6 +113,7 @@ def main(): rpc_clients[target] = client config = Client(args.server, args.port_control, "master_config") + atexit.register(config.close_rpc) server_name = config.get_name() if server_name is None: server_name = args.server