Debug prints

ndsev · Dec 6, 2024 · 5ff35d2 · 5ff35d2
1 parent 5d59049
commit 5ff35d2
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
@@ -146,6 +146,7 @@ private File getWorkingDirectory()
             final String execUrlPath = getClass().getProtectionDomain().getCodeSource().getLocation().getPath();
             final String decodedExecUrlPath = URLDecoder.decode(execUrlPath, "UTF-8");
             // check if decodedExecUrlPath is really URL, newer Java versions 11 or 17 returns normal path
+            System.out.println("decodedExecUrlPath = " + decodedExecUrlPath);
             File decodedExecFile = null;
             try
             {
@@ -155,6 +156,10 @@ private File getWorkingDirectory()
             {
                 decodedExecFile = new File(decodedExecUrlPath);
             }
+            System.out.println("decodedExecFile = " + decodedExecFile);
+            System.out.println("decodedExecFile.getParentFile() = " + decodedExecFile.getParentFile());
+            System.out.println(
+                    "decodedExecFile.getParentFile().exist = " + decodedExecFile.getParentFile().exists());
 
             return decodedExecFile.getParentFile();
         }