title | versions | topics | type | product | autogenerated | intro | redirect_from | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
execute query-server |
|
|
reference |
{% data reusables.gated-features.codeql %} |
codeql-cli |
[Plumbing] Support for running queries from IDEs. |
|
{% data reusables.codeql-cli.man-pages-version-note %}
codeql execute query-server <options>...
[Deprecated] [Plumbing] Support for running queries from IDEs.
The
codeql execute query-server subcommand is unsupported and no longer works. If you are using the official CodeQL extension for Visual Studio Code, please upgrade the extension to 1.7.6 or a later version. Otherwise please migrate your CodeQL IDE integration to the codeql execute query-server2
subcommand.
Show this help text.
[Advanced] Give option to the JVM running the command.
(Beware that options containing spaces will not be handled correctly.)
Incrementally increase the number of progress messages printed.
Incrementally decrease the number of progress messages printed.
[Advanced] Explicitly set the verbosity level to one of errors,
warnings, progress, progress+, progress++, progress+++. Overrides -v
and -q
.
[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-stderr
and redirect stderr as desired.)