From 795c4372fa528dd34885dc1ad7e25bd8d4d495f3 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 13 Dec 2023 14:06:53 +0800
Subject: [PATCH] DeviceManager: fix close exception error message

---
 artiq/master/worker_db.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/artiq/master/worker_db.py b/artiq/master/worker_db.py
index 5da202b2f..18e51f726 100644
--- a/artiq/master/worker_db.py
+++ b/artiq/master/worker_db.py
@@ -101,8 +101,9 @@ class DeviceManager:
                     dev.close_rpc()
                 elif hasattr(dev, "close"):
                     dev.close()
-            except Exception as e:
-                logger.warning("Exception %r when closing device %r", e, dev)
+            except:
+                logger.warning("Exception raised when closing device %r:",
+                               dev, exc_info=True)
         self.active_devices.clear()