diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-06-12 02:06:55 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-06-12 02:06:55 +0200 |
| commit | 1ca6714db6c7fc713cfe81af0ca6609812c0e8f2 (patch) | |
| tree | cd5e072fb445438ceabfb2b8430ce8abc84520f2 | |
| parent | c33bff18cf9e5f60477cd065050d57aa58153db3 (diff) | |
Remember to correct uri for windows on save.
| -rw-r--r-- | src/server/requests.odin | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/server/requests.odin b/src/server/requests.odin index eb6d532..db06cad 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -812,6 +812,11 @@ notification_did_save :: proc (params: json.Value, id: RequestId, config: ^commo flags = {.Optional_Semicolons}, } + when ODIN_OS == .Windows { + correct := common.get_case_sensitive_path(fullpath, context.temp_allocator) + fullpath, _ = filepath.to_slash(correct, context.temp_allocator) + } + dir := filepath.base(filepath.dir(fullpath, context.temp_allocator)) pkg := new(ast.Package) |