Message226458
I'm a little concerned about this fix. In particular, if I understand the design of the patch correctly, it is intended to produce this behavior:
Path('C:/foo').resolve() != Path('//?/C:/foo').resolve()
Since both paths are valid and both paths refer to the same file, some developers may find this result counterintuitive. The Path.resolve() docs do not expressly forbid it, however.
How many developers assume Path.resolve() is always the same for the same file? |
|
Date |
User |
Action |
Args |
2014-09-05 21:34:59 | Kevin.Norris | set | recipients:
+ Kevin.Norris, pitrou, tim.golden, zach.ware, eryksun, steve.dower |
2014-09-05 21:34:59 | Kevin.Norris | set | messageid: <1409952899.75.0.860257244039.issue22299@psf.upfronthosting.co.za> |
2014-09-05 21:34:59 | Kevin.Norris | link | issue22299 messages |
2014-09-05 21:34:59 | Kevin.Norris | create | |
|