diff options
| author | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-02 13:28:15 +0200 |
|---|---|---|
| committer | Georgi Gerganov <ggerganov@gmail.com> | 2024-01-02 13:28:15 +0200 |
| commit | 32866c5edde402f42ff4233bb89dcfcede34fd22 (patch) | |
| tree | b2dfb31145e9ec652fca824d1ec5583af379c7e3 | |
| parent | 5d7002d4372ebf107cfaf46fcd90df27b204f330 (diff) | |
editorconfig : fix whitespace and indentation #4710
| -rw-r--r-- | examples/server/server.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/server/server.cpp b/examples/server/server.cpp index b77d3f07..e45ea809 100644 --- a/examples/server/server.cpp +++ b/examples/server/server.cpp @@ -2383,8 +2383,8 @@ static void server_params_parse(int argc, char **argv, server_params &sparams, log_set_target(stdout); LOG_INFO("logging to file is disabled.", {}); } - else if (arg == "--override-kv") - { + else if (arg == "--override-kv") + { if (++i >= argc) { invalid_param = true; break; |