Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-27 12:50:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use JavaScript to do refresh for both static and cgi versions.

Browse Source
This commit is contained in:
slamm%netscape.com 1999-08-24 23:37:31 +00:00
parent 9b98311b1a
commit b043818d12
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
webtools/tinderbox/showbuilds.cgi
View File

@ -153,10 +153,7 @@ sub do_tinderbox {
}
sub print_page_head {
print "Content-type: text/html",
($nowdate eq $maxdate ? "\nRefresh: 900" : ''),
"\n\n<HTML>\n" unless $form{static};
print "Content-type: text/html\n\n<HTML>\n" unless $form{static};
# Get the message of the day only on the first pageful
do "$tree/mod.pl" if $nowdate eq $maxdate;
@ -578,6 +575,9 @@ __ENDJS
}
print "buildtree = '$form{tree}';\n";
# Use JavaScript to refresh the page every 15 minutes
print "setTimeout('location.reload()',900000);\n" if $nowdate eq $maxdate;
($script = <<'__ENDJS') =~ s/^ //gm;
</script>