Adding timeout to reload page.

webtools/tinderbox/tinderboxen.html

@@ -11,6 +11,9 @@
 
 <script>
 
+  // Use JavaScript to refresh the page every 15 minutes
+  setTimeout('location.reload()',900000);
+
   // For 3.0?
   var noDHTML = false;
   if (parseInt(navigator.appVersion) < 4) {