remove old debug code

1 year ago · a7dab88747
parent ade2074598
commit a7dab88747
1 changed files with 0 additions and 2 deletions
--- a/server/GameServer/FileWorker.lean
+++ b/server/GameServer/FileWorker.lean
@ -521,8 +521,6 @@ section MainLoop
    set st
    match msg with
    | Message.request id method (some params) =>
      -- TODO: What's this error message?
      if method == "Game.getInteractiveGoals" then throwServerError "HELLO"
      handleRequest id method (toJson params)
      mainLoop
    | Message.notification "exit" none =>