changeset 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 883fb4981958
children 12486cd4fa8b
files sat_frontends/quick_frontend/quick_app.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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)