Periodically reload page

diff --git a/src/Infodrom/stats/index.wml b/src/Infodrom/stats/index.wml
index 2ac04d8..d3fc7e5 100644 (file)
--- a/src/Infodrom/stats/index.wml
+++ b/src/Infodrom/stats/index.wml
@@ -20,6 +20,9 @@
 
 <div style="padding-top: 1em"></div>
 
+<script type="text/javascript">
+window.setTimeout(function(){document.location.reload();}, 30000);
+</script>
 </page>
 
 # Local variables: