reply to BSP shutdown request

This commit is contained in:
Adrien Piquerez 2020-09-23 18:06:56 +02:00
parent 7956528f25
commit 591c2b13cd
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))