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