* @type {Number}
* @const
* @private */
-var SCRIPT_VERSION = 2016113007;
+var SCRIPT_VERSION = 2016113008;
/**
* The current backend URL.
update_num_viewers(num_viewers);
} else {
console.log("Received invalid update, waiting five seconds and trying again.");
- location.reload(true);
+ setTimeout(function() { location.reload(true); }, 5000);
}
// Next update.