Fix

mikir · mikir · commit 2683b1c6a2ef · 2024-12-06T16:38:18.000+01:00
diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -122,12 +122,12 @@ private ClassLoader getClassLoader()
             {
                 if (isFileZserioExtension(file))
                 {
-                    urlArray.add(new URL("file:" + file.getPath()));
+                    urlArray.add(new URI("file:" + file.getPath()).toURL());
                     urlArray.addAll(getDependentJarsFromManifest(file));
                 }
             }
         }
-        catch (MalformedURLException excpt)
+        catch (MalformedURLException | URISyntaxException excpt)
         {
             return currentClassLoader;
         }

Original file line number	Diff line number	Diff line change
`@@ -122,12 +122,12 @@ private ClassLoader getClassLoader()`
`122`	`122`	`{`
`123`	`123`	`if (isFileZserioExtension(file))`
`124`	`124`	`{`
`125`		`- urlArray.add(new URL("file:" + file.getPath()));`
	`125`	`+ urlArray.add(new URI("file:" + file.getPath()).toURL());`
`126`	`126`	`urlArray.addAll(getDependentJarsFromManifest(file));`
`127`	`127`	`}`
`128`	`128`	`}`
`129`	`129`	`}`
`130`		`- catch (MalformedURLException excpt)`
	`130`	`+ catch (MalformedURLException \| URISyntaxException excpt)`
`131`	`131`	`{`
`132`	`132`	`return currentClassLoader;`
`133`	`133`	`}`