game.io.send('CHAT ' + quote(t.nickname + ': ' + msg))
cmd_ALL.argtypes = 'string'
+# TOOD split into two commands
def cmd_LOGIN(game, nick, connection_id):
for t in [t for t in game.things if t.type_ == 'player' and t.nickname == nick]:
raise GameError('name already in use')
game.player_id = parseInt(tokens[1]);
} else if (tokens[0] === 'LOGIN_OK') {
server.send(['GET_GAMESTATE']);
- tui.log_msg('@ ' + tokens[1]);
tui.log_help();
tui.switch_mode(mode_play);
} else if (tokens[0] === 'ANNOTATION') {