Fix

ndsev · Dec 6, 2024 · 5b6710f · 5b6710f
1 parent 2683b1c
commit 5b6710f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -155,6 +155,11 @@ private File getWorkingDirectory()
             {
                 decodedExecFile = new File(decodedExecUrlPath);
             }
+            if (decodedExecFile.getPath().startsWith("file:"))
+            {
+                decodedExecFile = new File(decodedExecFile.getPath().replaceFirst("^file:", ""));
+            }
+
             System.out.println("decodedExecFile = " + decodedExecFile);
             System.out.println("decodedExecFile.getParentFile() = " + decodedExecFile.getParentFile());
             System.out.println(