This code would fail to construct a good Windows file: URL because it
misses out the "/" after the "file:".
Eliot Kimber, Owner
On 3/14/16, 5:02 AM, "Kendall Shaw"
new URL(“file:” + catalogPath)
Appending text together seems to not be the best way to construct a URI.
On 3/13/16, 1:02 PM, "basex-talk-boun...@mailman.uni-konstanz.de on behalf of
Kendall Shaw" wrote:
I remember trying to figure out if the catalog files are supposed to be URIs or
file paths (in commons resolver), and I think it was Catalog.parseCatalogFile
that had a problem. It tries essentially:
catalogPath = path.replace(‘\\', ‘/‘)
new URL(baseURL, catalogPath)
and if that is a
I was just trying that now (the trailing quote was my typo but was also a
Yes, the value must be a URL and I've verified that using file:/c:/...
I'm trying to put together a code patch that does this automatically when
a normal filename is specified because this is pretty
I didn’t recently try it on Windows myself, but just two observations.
On 13.03.2016 01:13, Eliot Kimber wrote:
CATFILE = C:/workspace/DITA-OT2.x/catalog-dita.xml"
There is a trailing quote sign here, is this intentional? Don’t know the
effects of unbalanced quotes here.
Mail list logo