| commit | f4a9ac25e9cf27914ad4235d0745980d56212c1d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 25 13:34:22 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 25 13:34:22 2003 +0000 |
| tree | 69d570dda53bf0dce9649b22cfd0bc0a6686fa4a | |
| parent | c28fc37ed1b3845e757b4388e5a775fb61430f87 [diff] |
Workaround for bug #644243 (which is actually an Apple bug, I think): URLs of the form file:/path/to/file don't work whereas file:///path/to/file works fine. We convert the former to the latter.