# HG changeset patch # User Goffi # Date 1492701644 -7200 # Node ID 761fa220a717b2c18d1e681ddc9c52c5130d083f # Parent cf6c539672c784ebe6faad2c1845c1e263938344 tools (common/uri): minor comment update diff -r cf6c539672c7 -r 761fa220a717 src/tools/common/uri.py --- a/src/tools/common/uri.py Mon Apr 17 20:34:43 2017 +0200 +++ b/src/tools/common/uri.py Thu Apr 20 17:20:44 2017 +0200 @@ -43,6 +43,8 @@ if uri_split.scheme != 'xmpp': raise ValueError(u'this is not a XMPP URI') + # XXX: we don't use jid.JID for path as it can be used both in backend and frontend + # which may use different JID classes data = {u'path': urllib.unquote(uri_split.path).decode('utf-8')} query_end = uri_split.query.find(';')