Update the sidebar panel every minute.

1999-05-19 23:07:54 +00:00 · 1999-05-19 23:07:54 +00:00 · 661529737b
--- a/webtools/tinderbox/showbuilds.cgi
+++ b/webtools/tinderbox/showbuilds.cgi
@ -69,18 +69,22 @@ if ($form{'quickparse'}) {
    &do_quickparse;
    exit();
 }
-
 if ($form{'rdf'}) {
    print "Content-type: text/plain\n\n";
    &do_rdf;
    exit();
 }
-
-if($form{'flash'}) {
+if ($form{'flash'}) {
    print "Content-type: text/rdf\n\n";
    &do_flash;
    exit();
 }
+if ($form{'panel'}) {
+    # Refresh the tinderbox sidebar panel every minute.
+    print "Content-type: text/html\nRefresh: 60\n\n<HTML>\n";
+    &do_panel;
+    exit();
+}

 if ($nowdate eq $maxdate) {
  print "Content-type: text/html\nRefresh: 900\n\n<HTML>\n";
@ -95,9 +99,6 @@ else {
    if( $form{'express'} ) {
        &do_express;
    }
-    elsif( $form{'panel'} ) {
-        &do_panel;
-    }
    else {
        &load_data;
        &load_javascript;