| changeset 13826 | 07b3dacd00f8 |
| parent 13702 | dc06ef77a73a |
| child 13834 | 346cba4465b9 |
| 13825:5d58fce48b1d | 13826:07b3dacd00f8 |
|---|---|
224 return [RestartServer] |
224 return [RestartServer] |
225 |
225 |
226 handleCmd_lobby ["STATS"] = serverAdminOnly $ |
226 handleCmd_lobby ["STATS"] = serverAdminOnly $ |
227 return [Stats] |
227 return [Stats] |
228 |
228 |
229 handleCmd_lobby _ = return [ProtocolError "Incorrect command (state: in lobby)"] |
229 handleCmd_lobby (s:_) = return [ProtocolError $ "Incorrect command '" `B.append` s `B.append` "' (state: in lobby)"] |