summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDanielGavin <danielgavin5@hotmail.com>2025-10-04 16:57:06 +0200
committerDanielGavin <danielgavin5@hotmail.com>2025-10-04 16:57:06 +0200
commita64577d5c90b88bfba6461c5aec671cc8b3c5851 (patch)
tree786125c8a59d61ddc90e4b05f0e79f5e8beba154
parentf252aad41d51df05abab2a00490d8e7f16bc488d (diff)
Move the deletion of the uri to the request itself.
-rw-r--r--src/server/documents.odin2
-rw-r--r--src/server/requests.odin2
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
}