DeviceManager: fix close exception error message

2023-12-13 14:06:53 +08:00 · 2023-12-13 14:06:53 +08:00 · 795c4372fa
parent 402a5d3376
commit 795c4372fa
1 changed files with 3 additions and 2 deletions
--- 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()