From d6234ba7f732c7abd5b68c7f1adac8e5e9d6722c Mon Sep 17 00:00:00 2001
From: gac-maloja <maloja@psi.ch>
Date: Mon, 17 May 2021 19:11:15 +0200
Subject: [PATCH] ensure source is always disconnected

---
 animation.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/animation.py b/animation.py
index 5709ed5..f7989ac 100644
--- a/animation.py
+++ b/animation.py
@@ -20,8 +20,11 @@ class Animation:
         self.plot = plot_func(value)
         plt.suptitle(source.name)
         source.add_callback(self.update)
-        plt.show()
-        source.disconnect()
+        try:
+            plt.show()
+        finally:
+            print("disconnect:", source)
+            source.disconnect()
 
     def update(self, value=None, **kwargs):
         self.plot.set(value)