add a cache refresh link to index

1 files changed, 12 insertions, 3 deletions

diff --git a/index.php b/index.php
index b2291c0..bfb5fe8 100644
--- a/index.php
+++ b/index.php
@@ -131,9 +131,13 @@
            .then(function() {
 					console.log("service worker registered");
 			  });
-			 /*$(window).on('offline', function() {
-				 window.location.reload();
-			});*/
+
+			 navigator.serviceWorker.addEventListener('message', function(event) {
+			   // not used yet
+				if (event.data == 'client-reload') {
+					window.location.reload();
+				}
+			 });
 		}
 
 		mark_offline_books();
@@ -375,6 +379,11 @@
 		<?php } ?>
 	</ul>
 
+	<p class="text-center small">
+		<a class="text-muted" href="#" onclick="return cache_refresh(true)">Refresh cache</a>
+	</p>
+
+
 </div>
 </body>
 </html>