diff sat_frontends/quick_frontend/quick_app.py @ 3193:65d89a339dd3

quick frontend (app): avoid crash when a listener is removed while being called
author Goffi <goffi@goffi.org>
date Fri, 28 Feb 2020 10:06:38 +0100
parents 84a94b385760
children fc2bea41e402
line wrap: on
line diff
--- a/sat_frontends/quick_frontend/quick_app.py	Fri Feb 28 10:06:23 2020 +0100
+++ b/sat_frontends/quick_frontend/quick_app.py	Fri Feb 28 10:06:38 2020 +0100
@@ -619,7 +619,7 @@
             pass
         else:
             profile = kwargs.get("profile")
-            for listener, profiles_filter in listeners.items():
+            for listener, profiles_filter in list(listeners.items()):
                 if profile is None or not profiles_filter or profile in profiles_filter:
                     listener(*args, **kwargs)