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
---
index.js | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)
diff --git a/index.js b/index.js
index 8a13dcc..30ff195 100644
--- a/index.js
+++ b/index.js
@@ -115,7 +115,7 @@
setText(alert_text, message);
alert.style.display = 'block';
- console.log(message + ' More details follow.');
+ console.log(message + (more ? ' More details follow.' : ''));
if(more) console.log(more);
}
@@ -437,6 +437,8 @@
hash();
window.addEventListener('hashchange', hash);
+
+ checkVersionInit();
}
init();
--
Gitblit v1.9.1