From 5ff35d26b97611a17dc0d4edb0ba1cd77d932f0a Mon Sep 17 00:00:00 2001 From: Miki Rozloznik Date: Fri, 6 Dec 2024 10:45:47 +0100 Subject: [PATCH] Debug prints --- compiler/core/src/zserio/tools/ExtensionManager.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java index 27fe7c760..b42bb1d6a 100644 --- 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(); }