Message160113
Here's a possible patch.
The problem is that urlsplit (in Lib/urllib/parse.py:348) tries to convert the part after the : (in this case +31-641044153 and +31641044153) to int to see if it's a port number. This doesn't work with +31-641044153, but it does with +31-641044153.
In the patch I'm assuming that the port number can only contain ascii digits (no leading '+/-', no spaces, no non-ascii digits) and checking for it explicitly, rather than using int() in a try/except. |
|
Date |
User |
Action |
Args |
2012-05-06 22:27:42 | ezio.melotti | set | recipients:
+ ezio.melotti, orsenthil, eric.araujo, ivan_herman |
2012-05-06 22:27:42 | ezio.melotti | set | messageid: <1336343262.03.0.732962569277.issue14072@psf.upfronthosting.co.za> |
2012-05-06 22:27:41 | ezio.melotti | link | issue14072 messages |
2012-05-06 22:27:41 | ezio.melotti | create | |
|