diff options
author | Ziad Ben Hadj-Alouane <zied.benhadjalouane@gmail.com> | 2023-11-30 17:25:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-01 00:25:49 +0200 |
commit | 1d144112c0fbbb4ecc07dbcf4f05a380148bd6de (patch) | |
tree | aa83b017bc11916374b2c98e6384cc470c5be783 /examples/server | |
parent | f43f09366dfd018e4568e23a232aaa8c4f7cfc78 (diff) |
server : add --log-disable to disable logging to file (#4260)
* * add --log-disable to disable logging to file in the server example
* * typo fix
Diffstat (limited to 'examples/server')
-rw-r--r-- | examples/server/server.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/examples/server/server.cpp b/examples/server/server.cpp index 5edb3678..a65344b9 100644 --- a/examples/server/server.cpp +++ b/examples/server/server.cpp @@ -1961,6 +1961,7 @@ static void server_print_usage(const char *argv0, const gpt_params ¶ms, printf(" -spf FNAME, --system-prompt-file FNAME\n"); printf(" Set a file to load a system prompt (initial prompt of all slots), this is useful for chat applications.\n"); printf(" --mmproj MMPROJ_FILE path to a multimodal projector file for LLaVA.\n"); + printf(" --log-disable disables logging to a file.\n"); printf("\n"); } @@ -2315,6 +2316,11 @@ static void server_params_parse(int argc, char **argv, server_params &sparams, } params.mmproj = argv[i]; } + else if (arg == "--log-disable") + { + log_set_target(stdout); + LOG_INFO("logging to file is disabled.", {}); + } else { fprintf(stderr, "error: unknown argument: %s\n", arg.c_str()); |