gecko-dev/webtools/tinderbox/tinderboxen.html
2002-01-08 03:11:43 +00:00

69 lines
1.6 KiB
HTML

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Tinderboxen Big Picture</title>
</head>
<body>
<center>
<h1>Tinderboxen Big Picture</h1>
</center>
<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) {
window.event = 0;
noDHTML = true;
} else if (navigator.userAgent.indexOf("MSIE") > 0 ) {
noDHTML = true;
}
// Add trees here.
var $tree1 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey&express=1";
var $tree2 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Branch&express=1";
var $tree3 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Ports&express=1";
// Print out using layers for 4.x
function printLayer(tree) {
document.write("<ilayer src=\"");
document.write(tree);
document.write("\"></ilayer>");
}
// Print out using iframes for mozilla, ie.
function printIFrame(tree) {
document.write("<iframe frameborder=0 height=150 width=100% src=\"");
document.write(tree);
document.write("\"></iframe>");
}
if (typeof document.layers != 'undefined') {
// 4.x
printLayer($tree1);
document.write("<hr>");
printLayer($tree2);
document.write("<hr>");
printLayer($tree3);
} else {
// Mozilla or IE
printIFrame($tree1);
document.write("<hr>");
printIFrame($tree2);
document.write("<hr>");
printIFrame($tree3);
}
</script>
</body>
</html>