# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1484492440 -3600
# Node ID 4d9aeae5d9d0667f199f06bbf448698ad041243c
# Parent  469702b467683930eeede1c6a9d5ceaa226fed52
quick frontend (contact list): fixed cached key removal

diff -r 469702b46768 -r 4d9aeae5d9d0 frontends/src/quick_frontend/quick_contact_list.py
--- a/frontends/src/quick_frontend/quick_contact_list.py	Sun Jan 15 16:00:40 2017 +0100
+++ b/frontends/src/quick_frontend/quick_contact_list.py	Sun Jan 15 16:00:40 2017 +0100
@@ -395,7 +395,11 @@
         cache_attr = cache[C.CONTACT_RESOURCES].setdefault(entity.resource, {}) if entity.resource else cache
         for attribute, value in attributes.iteritems():
             if value is None:
-                cache_attr[attribute].pop(value, None)
+                # XXX: pyjamas hack: we need to use pop instead of del
+                try:
+                    cache_attr[attribute].pop(value)
+                except KeyError:
+                    pass
             else:
                 cache_attr[attribute] = value