Merge pull request #5888 from adpi2/bsp-shutdown

reply to BSP shutdown request
This commit is contained in:
eugene yokota 2020-09-24 12:06:03 -04:00 committed by GitHub
commit c00196abf0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -237,7 +237,7 @@ object BuildServerProtocol {
val _ = callback.appendExec(s"$bspReload ${r.id}", None)
case r: JsonRpcRequestMessage if r.method == "build/shutdown" =>
()
callback.jsonRpcRespond(JNull, Some(r.id))
case r: JsonRpcRequestMessage if r.method == "build/exit" =>
val _ = callback.appendExec(Shutdown, Some(r.id))