execute cli-server¶
Synopsis¶
codeql execute cli-server <options>...
Description¶
[Deep plumbing] Server for running multiple commands while avoiding repeated JVM initialization.
Options¶
Common options¶
-
-h,--help¶ Show this help text.
-
-J=<opt>¶ [Advanced] Give option to the JVM running the command.
(Beware that options containing spaces will not be handled correctly.)
-
-v,--verbose¶ Incrementally increase the number of progress messages printed.
-
-q,--quiet¶ Incrementally decrease the number of progress messages printed.
-
--verbosity=<level>¶ [Advanced] Explicitly set the verbosity level to one of errors, warnings, progress, progress+, progress++, progress+++. Overrides
-vand-q.
-
--logdir=<dir>¶ [Advanced] Write detailed logs to one or more files in the given directory, with generated names that include timestamps and the name of the running subcommand.
(To write a log file with a name you have full control over, instead give
--log-to-stderrand redirect stderr as desired.)