diff 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
line wrap: on
line diff
--- a/src/memory/disco.py	Sun Aug 16 00:39:44 2015 +0200
+++ b/src/memory/disco.py	Sun Aug 16 00:41:58 2015 +0200
@@ -154,7 +154,8 @@
         @param type_: identitiy's type
         @param jid_: the jid of the target server (None for profile's server)
         @param profile_key: %(doc_profile_key)s
-        @return: a set of entities or None if no cached data were found
+        @return: a set of found entities
+        @raise CancelError: the request timed out
         """
         found_entities = set()