[MOD] IO: Workaround for URIs with invalid characters

ChristianGruen · ChristianGruen · commit e0e46c3b85fb · 2026-02-02T17:15:08.000+01:00
diff --git a/basex-core/src/main/java/org/basex/io/IOFile.java b/basex-core/src/main/java/org/basex/io/IOFile.java
@@ -101,7 +101,8 @@ static String toPath(final String uri) {
       return new URL(uri).toURI().getPath();
     } catch(final Exception ex) {
       Util.debug(ex);
-      return uri;
+      // workaround for URIs with invalid characters
+      return uri.replaceAll("^" + FILEPREF + '*', "/").replaceFirst("^/([A-Za-z]:)", "$1");
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,8 @@ static String toPath(final String uri) {`
`101`	`101`	`return new URL(uri).toURI().getPath();`
`102`	`102`	`} catch(final Exception ex) {`
`103`	`103`	`Util.debug(ex);`
`104`		`- return uri;`
	`104`	`+ // workaround for URIs with invalid characters`
	`105`	`+ return uri.replaceAll("^" + FILEPREF + '*', "/").replaceFirst("^/([A-Za-z]:)", "$1");`
`105`	`106`	`}`
`106`	`107`	`}`
`107`	`108`