From f871078869a3a78233a79cde3c260882425406d8 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Thu, 14 Dec 2023 14:53:19 +0100
Subject: [PATCH] shutdown request

---
 server/GameServer/FileWorker.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/server/GameServer/FileWorker.lean b/server/GameServer/FileWorker.lean
index d8faead..1e6072b 100644
--- 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