diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-07-27 21:58:39 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-07-27 21:58:39 +0200 |
| commit | 03dfdacae8ef216d36bffe933ba7e6d0d2be6431 (patch) | |
| tree | 7f1c8c1cca9fedc4ad16d2a8f2ace2123e72418d | |
| parent | 921a29ded7b8bbf767d5f64d50b0c6b65e7cec08 (diff) | |
Change checker default settings
| -rw-r--r-- | src/server/requests.odin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/requests.odin b/src/server/requests.odin index 7c481df..04505b3 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -714,7 +714,7 @@ request_initialize :: proc( config.checker_args = "" config.enable_fake_method = false config.enable_procedure_snippet = true - config.enable_checker_only_saved = false + config.enable_checker_only_saved = true read_ols_config :: proc( file: string, |