equal
deleted
inserted
replaced
80 newReadyPlayers = if isReady client then (readyPlayers clRoom) - 1 else readyPlayers clRoom |
80 newReadyPlayers = if isReady client then (readyPlayers clRoom) - 1 else readyPlayers clRoom |
81 |
81 |
82 handleCmd _ _ _ ["PING"] = -- core requsted |
82 handleCmd _ _ _ ["PING"] = -- core requsted |
83 (noChangeClients, noChangeRooms, answerPing) |
83 (noChangeClients, noChangeRooms, answerPing) |
84 |
84 |
|
85 handleCmd _ _ _ ["PONG"] = |
|
86 (noChangeClients, noChangeRooms, []) |
|
87 |
85 -- check state and call state-dependent commmand handlers |
88 -- check state and call state-dependent commmand handlers |
86 handleCmd client clients rooms cmd = |
89 handleCmd client clients rooms cmd = |
87 if null (nick client) || protocol client == 0 then |
90 if null (nick client) || protocol client == 0 then |
88 handleCmd_noInfo client clients rooms cmd |
91 handleCmd_noInfo client clients rooms cmd |
89 else if null (room client) then |
92 else if null (room client) then |