comparison src/memory/disco.py @ 1460:c7fd121a6180

core: getProfileName no raise ProfileUnknownError + minor doc fixes
author Goffi <goffi@goffi.org>
date Sun, 16 Aug 2015 00:41:58 +0200
parents a419da93afef
children 05b821a0ff5a
comparison
equal deleted inserted replaced
1459:4c4f88d7b156 1460:c7fd121a6180
152 152
153 @param category: identity's category 153 @param category: identity's category
154 @param type_: identitiy's type 154 @param type_: identitiy's type
155 @param jid_: the jid of the target server (None for profile's server) 155 @param jid_: the jid of the target server (None for profile's server)
156 @param profile_key: %(doc_profile_key)s 156 @param profile_key: %(doc_profile_key)s
157 @return: a set of entities or None if no cached data were found 157 @return: a set of found entities
158 @raise CancelError: the request timed out
158 """ 159 """
159 found_entities = set() 160 found_entities = set()
160 161
161 def infosCb(infos, entity_jid): 162 def infosCb(infos, entity_jid):
162 if (category, type_) in infos.identities: 163 if (category, type_) in infos.identities: