On Mon, 2007-04-16 at 14:11 +0200, Mark Wielaard wrote: > A more practical observation might be that since we have to deal with > whatever interpretation URL/URL have in java, when the URL scheme is > "file" instead of using toURL().toString() we might just want to use > "file://" + URL.getPath() which unambiguously gives the thing we are > after in DomLSParser.getInputSource(). > > Also File.toURL() seems deprecated in favor of File.toURI().toURL(). > > So what about the (untested) attached patch?
Duh, i see you already committed a similar patch. Sorry for not checking. Christian, can you retest against cvs HEAD and let us know whether or not this solves your regressions? Thanks, Mark
signature.asc
Description: This is a digitally signed message part
