# HG changeset patch # User souliane # Date 1449740644 -3600 # Node ID 58ecc0e2e6fcd57b998d62975e63d0b2254c4916 # Parent 8d7d0fbad773311b53d8772679d4f3b60234af6f quick_frontend: catch an exception that can occurs when using a concurrent client diff -r 8d7d0fbad773 -r 58ecc0e2e6fc frontends/src/quick_frontend/quick_contact_list.py --- a/frontends/src/quick_frontend/quick_contact_list.py Wed Dec 09 03:33:30 2015 +0100 +++ b/frontends/src/quick_frontend/quick_contact_list.py Thu Dec 10 10:44:04 2015 +0100 @@ -390,7 +390,10 @@ except KeyError: log.warning(_(u"Trying to delete an unknow entity [{}]").format(entity)) if in_roster: - self._roster.remove(entity_bare) + try: + self._roster.remove(entity_bare) + except KeyError: + pass # contact has been removed already from a concurrent client? del self._cache[entity_bare] for group in groups: self._groups[group]['jids'].remove(entity_bare)