From 5d590490aed3b4452a5dbd023154c3b0c84bd5f7 Mon Sep 17 00:00:00 2001
From: Miki Rozloznik <mikulas.rozloznik@eccam.com>
Date: Thu, 5 Dec 2024 16:45:07 +0100
Subject: [PATCH] Fix

---
 compiler/core/src/zserio/tools/ExtensionManager.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
index c88f30709..27fe7c760 100644
--- 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 URL(decodedExecUrlPath).toURI());
             }
-            catch (MalformedURLException | URISyntaxException excpt)
+            catch (MalformedURLException | URISyntaxException | IllegalArgumentException excpt)
             {
                 decodedExecFile = new File(decodedExecUrlPath);
             }