allow dashboard to close if no connection can be made to moninj

Signed-off-by: Leon Riesebos <leon.riesebos@duke.edu>
2020-12-02 17:29:39 -05:00 · 2020-12-02 17:29:39 -05:00 · 3b2c225fc4
parent 94271504dd
commit 3b2c225fc4
1 changed files with 3 additions and 0 deletions
--- 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.)