diff frontends/src/quick_frontend/quick_games.py @ 2065:f3167c873e7b

quick frontend (contact list): better handling of cache with full jid: - get_cache has a new argument "bare_default" - value of resource is returned if full jid is used. None is returned if not found and bare_default is False, bare jid value is returned if not found and bare_default is True
author Goffi <goffi@goffi.org>
date Fri, 09 Sep 2016 23:54:33 +0200
parents 2daf7b4c6756
children 8b37a62336c3
line wrap: on
line diff