2016-09-22 09:34:01 -06:00
|
|
|
var puzzlesTerminal;
|
2017-02-07 16:09:03 -07:00
|
|
|
var ms=new Date().getTime()
|
|
|
|
var puzzlesJsonUrl = "puzzles.json?" + ms;
|
|
|
|
console.log(puzzlesJsonUrl);
|
2016-04-04 21:45:00 -06:00
|
|
|
|
2016-09-22 09:34:01 -06:00
|
|
|
function loadPuzzle(cat, id, points) {
|
2017-02-07 16:44:03 -07:00
|
|
|
console.log("Requested " + cat + "/" + id + "(" + points + ")");
|
2016-09-22 09:34:01 -06:00
|
|
|
}
|
2016-04-03 21:12:48 -06:00
|
|
|
|
2016-09-22 09:34:01 -06:00
|
|
|
function puzzlesRefresh(term, obj) {
|
2017-02-07 16:44:03 -07:00
|
|
|
term.clear();
|
|
|
|
|
|
|
|
var k = Object.keys(obj);
|
|
|
|
k.sort();
|
|
|
|
k.forEach(function(cat) {
|
|
|
|
var puzzles = obj[cat];
|
|
|
|
|
|
|
|
var pdiv = createElement('div');
|
|
|
|
pdiv.className = 'category';
|
|
|
|
|
|
|
|
var h = createElement('h2');
|
|
|
|
pdiv.appendChild(h);
|
|
|
|
h.textContent = cat;
|
|
|
|
|
|
|
|
var l = createElement('ul');
|
|
|
|
pdiv.appendChild(l);
|
|
|
|
|
|
|
|
for (var puzzle of puzzles) {
|
|
|
|
var points = puzzle[0];
|
|
|
|
var id = puzzle[1];
|
|
|
|
|
|
|
|
var i = createElement('li');
|
|
|
|
l.appendChild(i);
|
|
|
|
|
|
|
|
if (points == 0) {
|
|
|
|
i.textContent = "‡";
|
|
|
|
} else {
|
|
|
|
var a = createElement('a');
|
|
|
|
i.appendChild(a);
|
|
|
|
a.className = "link";
|
|
|
|
a.textContent = points;
|
|
|
|
a.href = cat + "/" + id + "/index.html";
|
|
|
|
// a.addEventListener("click", loadPuzzle.bind(undefined, cat, id, points));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
term.appendShallow(pdiv);
|
|
|
|
});
|
2016-09-22 09:34:01 -06:00
|
|
|
}
|
2016-04-03 21:12:48 -06:00
|
|
|
|
|
|
|
function puzzles_start() {
|
2017-02-07 16:44:03 -07:00
|
|
|
var element = document.getElementById("puzzles");
|
|
|
|
var puzzlesTerminal = new Terminal(element);
|
|
|
|
var refreshInterval = 40 * 1000;
|
2016-09-22 09:34:01 -06:00
|
|
|
|
2017-02-07 16:44:03 -07:00
|
|
|
var refreshCallback = puzzlesRefresh.bind(undefined, puzzlesTerminal);
|
|
|
|
var refreshFunction = loadJSON.bind(undefined, puzzlesJsonUrl, refreshCallback);
|
2016-09-22 09:34:01 -06:00
|
|
|
|
2017-02-07 16:44:03 -07:00
|
|
|
puzzlesTerminal.clear();
|
|
|
|
puzzlesTerminal.par("Loading...");
|
|
|
|
refreshFunction();
|
|
|
|
setInterval(refreshFunction, refreshInterval);
|
2016-04-03 21:12:48 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
window.addEventListener("load", puzzles_start);
|