From b950daea8997a72e8313d185e623e1beb4ff82ac Mon Sep 17 00:00:00 2001 From: Girish Ramakrishnan Date: Thu, 12 Feb 2015 11:37:37 -0800 Subject: [PATCH] reload status page if we get 404 Part of #141 --- setup/splash/website/index.html | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/setup/splash/website/index.html b/setup/splash/website/index.html index 11480ef12..a5d706245 100644 --- a/setup/splash/website/index.html +++ b/setup/splash/website/index.html @@ -38,15 +38,18 @@ var i = setInterval(function () { var req = new XMLHttpRequest(); req.onreadystatechange = function () { - if (req.readyState === 4 && req.status === 200) { + if (req.readyState !== 4) return; + if (req.status === 200) { var data = JSON.parse(req.responseText); document.getElementById('updateProgressBar').style.width = data.progress + '%'; document.getElementById('updateProgressMessage').innerHTML = data.message; - if (data.progress === "100") { + if (data.progress === '100') { clearInterval(i); setTimeout(location.reload.bind(location, true /* forceGet from server */), 1000); } + } else if (req.status === 404) { // sometimes we miss '100%' + setTimeout(location.reload.bind(location, true /* forceGet from server */), 1000); } }; req.open('GET', '/progress.json');