From 3b2c225fc446dc1d0718732e74fe06001b796f53 Mon Sep 17 00:00:00 2001 From: Leon Riesebos Date: Wed, 2 Dec 2020 17:29:39 -0500 Subject: [PATCH] allow dashboard to close if no connection can be made to moninj Signed-off-by: Leon Riesebos --- artiq/dashboard/moninj.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/artiq/dashboard/moninj.py b/artiq/dashboard/moninj.py index cea227cb0..0233fd8d7 100644 --- a/artiq/dashboard/moninj.py +++ b/artiq/dashboard/moninj.py @@ -399,6 +399,9 @@ class _DeviceManager: self.disconnect_cb) try: await new_core_connection.connect(self.core_addr, 1383) + except asyncio.CancelledError: + logger.info("cancelled connection to core device moninj") + break except: logger.error("failed to connect to core device moninj", exc_info=True) await asyncio.sleep(10.)