Tim Golden added the comment: OK, hacking away a bit further, I think I've found a solution, but I'll need to tidy it up a bit. In essence, the problem is that the "filename" is trying to be two things: the pointer for the local filesystem, and the uri for the web server. On *nix, this will pretty much work. On Windows -- and elsewhere, it won't.
My approach is to treat the filename a little like unicode: decode to "web-format" on the way in; encode to "local-format" on the way out. In practice, this resolves to a bunch of .replace(path.sep, "/") calls in one place and .replace("/", path.sep) in the comparatively rare cases we actually need to read the local filesystem. I realise that, on Windows, I could get a bit hacky and just assume that "/" will work throughout. But that obviously fails now for things like VMS and in the future for the hypothetical filesystem which uses "." as its separator etc. I'm still working it through. The web and html versions are certainly working but I need to check out htmlhelp which has its own special needs. __________________________________ Tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue1520> __________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com