Message11456
Worth noting that this is (partly) a follow-up issue of the solution to http://bugs.jython.org/issue2386.
if (Platform.IS_WINDOWS) {
start++;
}
was used, because Py.getJarFileNameFromURL prepends a slash before the Windows drive letter.
Maybe we can guard the networkpath case via
if (Platform.IS_WINDOWS && !urlString.charAt(start+1) == '/') {
start++;
}
Unless you see some flaw with this, I'd experimentally check it in. |
|
Date |
User |
Action |
Args |
2017-07-02 15:25:54 | stefan.richthofer | set | messageid: <1499009154.38.0.774662624876.issue2599@psf.upfronthosting.co.za> |
2017-07-02 15:25:54 | stefan.richthofer | set | recipients:
+ stefan.richthofer, zyasoft, tkohn |
2017-07-02 15:25:54 | stefan.richthofer | link | issue2599 messages |
2017-07-02 15:25:53 | stefan.richthofer | create | |
|