fix a bug that raises an error with a URL having a port number like...

fix a bug that raises an error with a URL having a port number like http://example.com:8080/path/path.


git-svn-id: https://svn.erp5.org/repos/public/erp5/trunk@29170 20353a03-c40f-0410-a6d1-a30d3c3de9de

product/ERP5/Document/Url.py

@@ -78,7 +78,7 @@ class UrlMixIn:
     """
     if ':' in url:
       # This is the normal case (protocol specified in the URL)
-      protocol, url_string = url.split(':')
+      protocol, url_string = url.split(':', 1)
       if url_string.startswith('//'): url_string = url_string[2:]
       self._setUrlProtocol(protocol)
     else: