From a694d130b720b5de5cc689286ce600b84636802a Mon Sep 17 00:00:00 2001
From: Leon Riesebos <leon.riesebos@duke.edu>
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 <leon.riesebos@duke.edu>
---
 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.)