As Des Barry points out, we need to call pathname2url(file) in two
calls to addinfourl() in open_file().
1 file changed