Merge pull request #4093 from laughedelic/unexpected-responses

WIP: Fix unexpected responses from the server
This commit is contained in:
Dale Wijnand 2018-04-23 08:02:30 +01:00 committed by GitHub
commit cd7eb95728
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ private[sbt] trait LanguageServerProtocol extends CommandChannel {
else throw LangServerError(ErrorCodes.InvalidRequest, "invalid token")
} else ()
setInitialized(true)
append(Exec(s"collectAnalyses", Some(request.id), Some(CommandSource(name))))
append(Exec(s"collectAnalyses", None, Some(CommandSource(name))))
langRespond(InitializeResult(serverCapabilities), Option(request.id))
case "textDocument/definition" =>
import scala.concurrent.ExecutionContext.Implicits.global