definitions.js

var get_args = {};
if( 1 < window.location.search.length ) {
	var pairs = window.location.search.substring(1).split('&');
	for( var i in pairs ) {
		var ler = pairs[i];
		var e = ler.indexOf('=');
		var key = decodeURIComponent(ler.substring(0,e));
		var val = decodeURIComponent(ler.substring(e+1));
		get_args[key] = val;
	}
}
String.prototype.padStart = function(size,pad) {
  var r = this;
  while (r.length < (size || 2)) {r = pad + r;}
  return r;
}
function seconds2str(s) {
	var d = Math.floor(s/(24*60*60));
	s = s%(24*60*60);
	var h = Math.floor(s/(60*60));
	s = s%(60*60);
	var m = Math.floor(s/60);
	s = s%60;
	return (d>0? d + 'd ' : '') + h + ':' + String(m).padStart(2,0) + ':' + String(s).padStart(2,0);
}
function loadURL(url,handle) {
	var xhttp = new XMLHttpRequest();
	xhttp.onreadystatechange = function() {
		if (this.readyState == 4 && this.status == 200) {
			handle(this);
		}
	};
	xhttp.open("GET", url);
	xhttp.setRequestHeader("Cache-Control", "no-cache, no-store, max-age=0");
	// fallbacks for IE and older browsers:
	xhttp.setRequestHeader("Expires", "Tue, 01 Jan 1980 1:00:00 GMT");
	xhttp.setRequestHeader("Pragma", "no-cache");
	xhttp.send();
}
function FilteredTable(table) {
	var ret = {};
	ret.table = table;
	ret.filters = [];
	ret.refresh = function () {
		var filterValues = [];
		for( var j = 0; j < ret.filters.length; j++ ) {
			var id = ret.filters[j];
			filterValues[j] = id == null ? "" : document.getElementById(id).value;
		}
		var trs = ret.table.getElementsByTagName("tr");
		for( var i = 0; i < trs.length; i++ ) {
			if( trs[i].classList.contains("head") ) {// row of class "head" won't be filtered
				continue;
			}
			var tds = trs[i].getElementsByTagName("td");
			for( var j = 0; ; j++ ) {
				if( filterValues.length <= j ) {
					trs[i].style.display = "";
					break;
				}
				var td = tds[j];
				if( td != null && (td.textContent || td.innerText).indexOf(filterValues[j]) < 0 ) {
					trs[i].style.display = "none";
					break;
				}
			}
		}
	}
	ret.register = function(column,id) {
		ret.filters[column] = id;
	}
	return ret;
}
function StyleToggler(button, select, options, index = 0) {
	var ret = {};
	ret.button = button;
	ret.select = select;
	ret.options = options;
	ret.index = index;
	ret.apply = function(elm) {
		var option = ret.options[ret.index];
		ret.button.innerHTML = option.text;
		var targets = elm.querySelectorAll(select);
		for( var i = 0; i < targets.length; i++ ) {
			for( var key in option.assign ) {
				targets[i].style[key] = option.assign[key];
			}
		}
	}
	ret.toggle = function() {
		ret.index = (ret.index + 1) % ret.options.length;
		ret.apply(document);
	}
	ret.apply(document);
	ret.button.onclick = ret.toggle;
	return ret;
}