Merge branch 'master' into fix-a-doc-del-bug

Author: davidanthoff

src/requests/init.jl

@@ -131,7 +131,10 @@ function initialize_request(params::InitializeParams, server::LanguageServerInst
     elseif (params.workspaceFolders !== nothing) & (params.workspaceFolders !== missing)
         for wksp in params.workspaceFolders
             if wksp.uri !== nothing
-                push!(server.workspaceFolders, uri2filepath(wksp.uri))
+                fpath = uri2filepath(wksp.uri)
+                if fpath !== nothing
+                    push!(server.workspaceFolders, fpath)
+                end
             end
         end
     end

src/requests/textdocument.jl

@@ -70,7 +70,7 @@ end
 function textDocument_didChange_notification(params::DidChangeTextDocumentParams, server::LanguageServerInstance, conn)
     doc = getdocument(server, URI2(params.textDocument.uri))
     if params.textDocument.version < doc._version
-        error("The client and server have different textDocument versions for $(doc._uri).")
+        error("The client and server have different textDocument versions for $(doc._uri). LS version is $(doc._version), request version is $(params.textDocument.version).")
     end
     doc._version = params.textDocument.version