tui.log_msg('game error: ' + tokens[1]);
} else if (tokens[0] === 'GAME_ERROR') {
tui.log_msg('game error: ' + tokens[1]);
+ } else if (tokens[0] === 'PONG') {
+ console.log('PONG');
} else {
tui.log_msg('unhandled input: ' + event.data);
}
}
+
+window.setInterval(function() { websocket.send('PING') }, 30000);
</script>
</body>
</html>