dashboard: close config RPC Client cleanly at exit

2017-11-25 11:36:20 +00:00 · 2017-11-25 11:36:20 +00:00 · 10ee3f19a8
commit 10ee3f19a8
parent 0999f2dd86
1 changed files with 1 additions and 0 deletions
--- 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