diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-27 17:33:03 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-27 17:33:03 +0200 |
| commit | ab9c17b403527bc07d65d5c47ecb25bec423ddac (patch) | |
| tree | 2d10ebf151f3341fec49ee5919db2967fbf4bef7 /src/server/requests.odin | |
| parent | 601a1a447aee462575c8de91677991750cb612e5 (diff) | |
Add new config to disable the `core:odin/parser` errors
Diffstat (limited to 'src/server/requests.odin')
| -rw-r--r-- | src/server/requests.odin | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/requests.odin b/src/server/requests.odin index 586a2a1..96df6e3 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -429,6 +429,8 @@ request_initialize :: proc( if unmarshal(value, ols_config, context.temp_allocator) == nil { + config.disable_parser_errors = + ols_config.disable_parser_errors config.thread_count = ols_config.thread_pool_count config.enable_document_symbols = ols_config.enable_document_symbols.(bool) or_else true |