quoridor-hs-0.1.0.0: resources/console.js
function appendOutput(cls, text) {
$('#console-output').append('<pre class="' + cls + '">' + text + '</pre>');
$('#line').focus();
$('#line')[0].scrollIntoView({block: "end", behavior: "instant"});
}
$(document).ready(function () {
var port = window.location.port
var hostName = window.location.hostname;
var uri = "ws://"+hostName+":"+port+"/play"
var ws = new WebSocket(uri);
appendOutput('stderr', 'Opening WebSockets connection...\n');
ws.onerror = function(event) {
appendOutput('stderr', 'WebSockets error: ' + event.data + '\n');
};
ws.onopen = function() {
appendOutput('stderr', 'WebSockets connection successful!\n');
};
ws.onclose = function() {
appendOutput('stderr', 'WebSockets connection closed.\n');
};
ws.onmessage = function(event) {
appendOutput('stdout', event.data);
};
$('#console-input').submit(function () {
var line = $('#line').val();
ws.send(line + '\n');
appendOutput('stdin', line + '\n');
$('#line').val('');
return false;
});
});