// Pixels in format [x, y, color]
var map = [
[17, 28, 4],
[18, 28, 4],
[19, 28, 4],
[20, 28, 4],
[21, 28, 4],
[22, 28, 4],
[23, 28, 4],
];
function updboard(data) {
for (var i = 0; i < window.App.width * window.App.height; i++) {
var c = data.charCodeAt(i);
for (var x of map) {
if (i === x[0] + x[1] * window.App.height && c !== x[2]) {
console.log("Placing " + x[0] + ", " + x[1] + ": " + x[2]);
window.App.socket.send(JSON.stringify({