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