# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1582880798 -3600
# Node ID 65d89a339dd334db78611fd743de066c3d75edbf
# Parent  883fb49819580e5cae282af4db9300dc38979610
quick frontend (app): avoid crash when a listener is removed while being called

diff -r 883fb4981958 -r 65d89a339dd3 sat_frontends/quick_frontend/quick_app.py
--- 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)