diff options
| -rw-r--r-- | src/main/java/org/javacs/Main.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/java/org/javacs/Main.java b/src/main/java/org/javacs/Main.java index f8dd455..e8dc57a 100644 --- a/src/main/java/org/javacs/Main.java +++ b/src/main/java/org/javacs/Main.java @@ -1,5 +1,6 @@ package org.javacs; +import java.util.Arrays; import java.util.logging.Level; import java.util.logging.Logger; import org.javacs.lsp.*; @@ -18,6 +19,12 @@ public class Main { } public static void main(String[] args) { + boolean quiet = Arrays.stream(args).anyMatch("--quiet"::equals); + + if (quiet) { + LOG.setLevel(Level.OFF); + } + try { // Logger.getLogger("").addHandler(new FileHandler("javacs.%u.log", false)); setRootFormat(); |