Refresh index button

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]');

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: