From a64577d5c90b88bfba6461c5aec671cc8b3c5851 Mon Sep 17 00:00:00 2001 From: DanielGavin Date: Sat, 4 Oct 2025 16:57:06 +0200 Subject: Move the deletion of the uri to the request itself. --- src/server/documents.odin | 2 -- src/server/requests.odin | 2 ++ 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/server/documents.odin b/src/server/documents.odin index 70584fd..fed319c 100644 --- a/src/server/documents.odin +++ b/src/server/documents.odin @@ -159,8 +159,6 @@ document_open :: proc(uri_string: string, text: string, config: ^common.Config, document_storage.documents[strings.clone(uri.path)] = document } - delete(uri_string) - return .None } diff --git a/src/server/requests.odin b/src/server/requests.odin index 49119aa..89fd347 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -1047,6 +1047,8 @@ notification_did_open :: proc( push_diagnostics(writer) + delete(open_params.textDocument.uri) + return .None } -- cgit v1.2.3