Speed up get_domain_from_id

pull/2226/head
Erik Johnston 2017-05-16 14:07:08 +01:00
parent b8492b6c2f
commit f2a5b6dbfd
1 changed files with 3 additions and 3 deletions

View File

@ -56,10 +56,10 @@ def create_requester(user_id, access_token_id=None, is_guest=False,
def get_domain_from_id(string):
try:
return string.split(":", 1)[1]
except IndexError:
idx = string.find(":")
if idx == -1:
raise SynapseError(400, "Invalid ID: %r" % (string,))
return string[idx + 1:]
class DomainSpecificString(