// Check every 20 seconds via status.php if maintenance is over
window.setInterval(checkStatus, 20000);
function checkStatus() {
var request = new XMLHttpRequest();
request.open("GET", OC.webroot+'/status.php', true);
request.onreadystatechange = function() {
if (request.readyState === 4) {
var response = request.responseText;
var responseobj = JSON.parse(response);
if (responseobj.maintenance === false) {
window.location.reload();
}
}
};
request.send();
}
index : jquery-ui.git | |
The official jQuery user interface library: https://github.com/jquery/jquery-ui | www-data |
blob: 0db693fafc86ad79043f4b114c433d109ba83f03 (
plain)