From 5723906af96c9dcd7bdbf4fc2d0c19b63800d2e1 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Sat, 15 Apr 2017 14:19:48 +0000
Subject: [PATCH] Reload page on script changes
---
common.js | 27 +++++++++++++++++++++++++++
1 files changed, 27 insertions(+), 0 deletions(-)
diff --git a/common.js b/common.js
index bd564a6..1f236aa 100644
--- a/common.js
+++ b/common.js
@@ -4,6 +4,33 @@
'Zajezdnia Podgórze' : 'P',
};
+var script_version;
+var script_version_xhr;
+
+// Check for website updates
+function checkVersion() {
+ if(script_version_xhr) script_version_xhr.abort();
+
+ script_version_xhr = $.get(
+ 'version.php'
+ ).done(function(data) {
+ if(!script_version) {
+ script_version = data;
+ return;
+ }
+
+ if(script_version != data) {
+ fail(lang.error_new_version);
+ location.reload(true);
+ }
+ });
+}
+
+function checkVersionInit() {
+ checkVersion();
+ setInterval(checkVersion, 3600000);
+}
+
// Webservice-related functions
function parseVehicle(vehicleId) {
if(!vehicleId) return;
--
Gitblit v1.9.1