add some placeholder stuff for ttf files

1 files changed, 5 insertions, 2 deletions

diff --git a/index.php b/index.php
index e0f11e0..af90703 100644
--- a/index.php
+++ b/index.php
@@ -143,9 +143,12 @@
 			  });
 
 			 navigator.serviceWorker.addEventListener('message', function(event) {
-			   // not used yet
+				// invoked by service worker
 				if (event.data == 'client-reload') {
-					window.location.reload();
+					console.log('reloading in a moment...');
+					window.setTimeout(function() {
+						window.location.reload()
+					}, 1500);
 				}
 			 });
 		} else {