gameServer/Actions.hs
branchui-scaling
changeset 15663 d92eeb468dad
parent 15408 d9a12aba5c05
child 15699 27eb5abd5058
equal deleted inserted replaced
15283:c4fd2813b127 15663:d92eeb468dad
   868 processAction CheckRecord = return ()
   868 processAction CheckRecord = return ()
   869 processAction (CheckFailed _) = return ()
   869 processAction (CheckFailed _) = return ()
   870 processAction (CheckSuccess _) = return ()
   870 processAction (CheckSuccess _) = return ()
   871 processAction (QueryReplay _) = processAction $ Warning $ loc "This server does not support replays!"
   871 processAction (QueryReplay _) = processAction $ Warning $ loc "This server does not support replays!"
   872 processAction (ShowReplay rname) = return ()
   872 processAction (ShowReplay rname) = return ()
   873 processAction (SaveRoom rname) = return ()
   873 processAction (SaveRoom rname) = return () -- TODO: Send warning that this command is unsupported
   874 processAction (LoadRoom rname) = return ()
   874 processAction (LoadRoom rname) = return () -- TODO: Send warning that this command is unsupported
   875 #endif
   875 #endif
   876 
   876 
   877 processAction Cleanup = do
   877 processAction Cleanup = do
   878     jm <- gets joinsMonitor
   878     jm <- gets joinsMonitor
   879 
   879