From b00bab581535831cfe950a5d23ebaefc7f35fa7a Mon Sep 17 00:00:00 2001 From: Basil Crow Date: Wed, 12 Oct 2022 07:58:59 -0700 Subject: [PATCH] Document missing options (#7246) --- war/src/main/java/executable/Main.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/war/src/main/java/executable/Main.java b/war/src/main/java/executable/Main.java index 6f760dc793..45343d604c 100644 --- a/war/src/main/java/executable/Main.java +++ b/war/src/main/java/executable/Main.java @@ -315,6 +315,8 @@ public class Main { " --extractedFilesFolder = folder where extracted files are to be located. Default is the temp folder\n" + " --logfile = redirect log messages to this file\n" + " " + ENABLE_FUTURE_JAVA_CLI_SWITCH + " = allows running with Java versions which are not fully supported\n" + + " --paramsFromStdIn = Read parameters from standard input (stdin)\n" + + " --version = Print version to standard output (stdout) and exit\n" + "{OPTIONS}"); if (!DISABLE_CUSTOM_JSESSIONID_COOKIE_NAME) {