diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-03-19 20:44:29 +0100 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-03-19 20:44:29 +0100 |
| commit | edcf80026173f9d20ca2df6f574640302bed4bdf (patch) | |
| tree | 0954d648e812151403ce133f5b956219d455a3cb /src/server/documents.odin | |
| parent | 06b76ac1ee9d8f607d944ce9757ebe40adefcf2a (diff) | |
Prepare for rename
Diffstat (limited to 'src/server/documents.odin')
| -rw-r--r-- | src/server/documents.odin | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/server/documents.odin b/src/server/documents.odin index 3ac8cdc..0c18249 100644 --- a/src/server/documents.odin +++ b/src/server/documents.odin @@ -133,7 +133,7 @@ document_open :: proc(uri_string: string, text: string, config: ^common.Config, /* Function that applies changes to the given document through incremental syncronization */ -document_apply_changes :: proc(uri_string: string, changes: [dynamic]TextDocumentContentChangeEvent, config: ^common.Config, writer: ^Writer) -> common.Error { +document_apply_changes :: proc(uri_string: string, changes: [dynamic]TextDocumentContentChangeEvent, version: Maybe(int), config: ^common.Config, writer: ^Writer) -> common.Error { uri, parsed_ok := common.parse_uri(uri_string, context.temp_allocator) if !parsed_ok { @@ -142,6 +142,8 @@ document_apply_changes :: proc(uri_string: string, changes: [dynamic]TextDocumen document := &document_storage.documents[uri.path] + document.version = version + if !document.client_owned { log.errorf("Client called change on an document not opened: %v ", document.uri.path) return .InvalidRequest |