server/core/js/maintenance-check.js

// 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();
}