diff --git a/src/main/java/org/texttechnologylab/project/gruppe_05_1/Main.java b/src/main/java/org/texttechnologylab/project/gruppe_05_1/Main.java index b022cc3..21f649e 100644 --- a/src/main/java/org/texttechnologylab/project/gruppe_05_1/Main.java +++ b/src/main/java/org/texttechnologylab/project/gruppe_05_1/Main.java @@ -21,6 +21,7 @@ import java.util.concurrent.TimeUnit; import static java.lang.Boolean.FALSE; import static java.lang.Boolean.TRUE; +import static org.texttechnologylab.project.gruppe_05_1.export.TeXUtil.isTeXSdkInstalled; import static org.texttechnologylab.project.gruppe_05_1.util.PPRUtils.checkAndProcessNewProtocols; public class Main { @@ -61,6 +62,12 @@ public class Main { System.out.println(" - Debug Logging: " + DEBUG_LOGGING); System.out.println("--------------------------------------------o"); + if (!isTeXSdkInstalled()) { + Logger.orange("-------------------------------------------------o"); + Logger.orange("TeX SDK not installed. PDF export will not work."); + Logger.orange("-------------------------------------------------o"); + } + if (ONLY_RUN_WEB) { Logger.info("Starting Web Service..."); RESTHandler restHandler = new RESTHandler(); diff --git a/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java b/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java index c02aa14..16cbe83 100644 --- a/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java +++ b/src/main/java/org/texttechnologylab/project/gruppe_05_1/export/TeXUtil.java @@ -209,4 +209,18 @@ public class TeXUtil { } }); } + + public static boolean isTeXSdkInstalled() { + try { + Process process = Runtime.getRuntime().exec("pdflatex --version"); + BufferedReader stdInput = new BufferedReader(new InputStreamReader(process.getInputStream())); + String s; + while ((s = stdInput.readLine()) != null) { + if (s.contains("pdfTeX")) { + return true; + } + } + } catch (IOException ignored) {} + return false; + } } diff --git a/src/main/java/org/texttechnologylab/project/gruppe_05_1/util/Logger.java b/src/main/java/org/texttechnologylab/project/gruppe_05_1/util/Logger.java index 6dbfd8f..796498b 100644 --- a/src/main/java/org/texttechnologylab/project/gruppe_05_1/util/Logger.java +++ b/src/main/java/org/texttechnologylab/project/gruppe_05_1/util/Logger.java @@ -28,4 +28,8 @@ public class Logger { public static void pink(String message) { System.out.println("\u001B[35m" + java.time.LocalTime.now() + " PINK: " + message + "\u001B[0m"); } + + public static void orange(String message) { + System.out.println("\u001B[38;5;214m" + message + "\u001B[0m"); + } }