shutdown request

3 years ago · f871078869
parent 818c932496
commit f871078869
1 changed files with 3 additions and 0 deletions
--- a/server/GameServer/FileWorker.lean
+++ b/server/GameServer/FileWorker.lean
@ -555,6 +555,9 @@ section MainLoop
      let doc := st.doc
      doc.cancelTk.set
      return ()
    | Message.request id "shutdown" none =>
      ctx.hOut.writeLspResponse ⟨id, Json.null⟩
      mainLoop
    | Message.notification "$/game/setInventory" params =>
      let p := (← parseParams Game.SetInventoryParams (toJson params))
      let s ← get