From 24f9876274ee54eeb91c373e50ab9bddb59b10fa Mon Sep 17 00:00:00 2001
From: Ruben van de Ven <git@rubenvandeven.com>
Date: Wed, 19 Jan 2022 11:15:55 +0100
Subject: [PATCH] Refresh index button

---
 templates/index.html | 3 +++
 webserver.py         | 6 ++++++
 2 files changed, 9 insertions(+)

diff --git a/templates/index.html b/templates/index.html
index 338da91..5684740 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -38,6 +38,9 @@
         <li>{{ annotation }}</li>
         {% end %}
     </ul> -->
+
+    <hr>
+    <a href="?refresh">Reload index</a>
 </body>
 <script>
     let images = document.querySelectorAll('[data-audio]');
diff --git a/webserver.py b/webserver.py
index 6853655..888d263 100644
--- a/webserver.py
+++ b/webserver.py
@@ -345,6 +345,12 @@ class IndexHandler(tornado.web.RequestHandler):
         self.index = index
 
     def get(self):
+        do_refresh = bool(self.get_query_argument('refresh', False))
+        if do_refresh:
+            self.logger.info("Reloading Annotation Index")
+            self.index.refresh()
+            self.logger.info("\treloaded annotation index")
+            
         self.render("templates/index.html", index=self.index)
 
 class Server: