Fix

mikir · mikir · commit fc7cbc92327b · 2024-12-06T16:26:58.000+01:00
diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -151,7 +151,7 @@ private File getWorkingDirectory()
             {
                 decodedExecFile = new File(new URI(decodedExecUrlPath));
             }
-            catch (URISyntaxException excpt)
+            catch (URISyntaxException | IllegalArgumentException excpt)
             {
                 decodedExecFile = new File(decodedExecUrlPath);
             }

Original file line number	Diff line number	Diff line change
`@@ -151,7 +151,7 @@ private File getWorkingDirectory()`
`151`	`151`	`{`
`152`	`152`	`decodedExecFile = new File(new URI(decodedExecUrlPath));`
`153`	`153`	`}`
`154`		`- catch (URISyntaxException excpt)`
	`154`	`+ catch (URISyntaxException \| IllegalArgumentException excpt)`
`155`	`155`	`{`
`156`	`156`	`decodedExecFile = new File(decodedExecUrlPath);`
`157`	`157`	`}`