function reboot() {
  var xhttp = new XMLHttpRequest();
  xhttp.onreadystatechange = function() {
    if (this.readyState == 4 && this.status == 200) {
      document.getElementById("logs").innerHTML = this.responseText;
    }
  };
  xhttp.open("GET", "https://www.thsf.net/maintenance/reboot.py", true);
  xhttp.send();
  setTimeout(function () {
      document.location="https://www.thsf.net/maintenance/status.py"}, 5000
  );
}