From fa441eebdaf9dff209d6197a4cf6a5383a7c966b Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Tue, 6 Jan 2015 17:50:15 +0800 Subject: [PATCH] gui: proper shutdown of RPC client --- frontend/artiq_gui.py | 1 + 1 file changed, 1 insertion(+) diff --git a/frontend/artiq_gui.py b/frontend/artiq_gui.py index d72044ff1..2a11a48e5 100755 --- a/frontend/artiq_gui.py +++ b/frontend/artiq_gui.py @@ -37,6 +37,7 @@ def main(): schedule_ctl = AsyncioClient() loop.run_until_complete(schedule_ctl.connect_rpc( args.server, args.port_control, "master_schedule")) + atexit.register(lambda: schedule_ctl.close_rpc()) scheduler_win = SchedulerWindow(schedule_ctl) scheduler_win.connect("delete-event", Gtk.main_quit)