document.getElementById("board").addEventListener('mousedown', mousedownSquare);
document.getElementById("board").addEventListener('mouseup', mouseupSquare);
+ if (window['inline_json']) {
+ let j = window['inline_json'];
+ process_update_response(j['data'], { 'get': (h) => j['headers'][h] });
+ delete window['inline_json'];
+ }
request_update();
window.addEventListener('resize', function() {
board.resize();