2001-04-10 05:26:52 +04:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
|
2000-09-27 12:06:35 +04:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Tinderboxen Big Picture</title>
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
<center>
|
|
|
|
|
<h1>Tinderboxen Big Picture</h1>
|
|
|
|
|
</center>
|
|
|
|
|
|
|
|
|
|
<script>
|
|
|
|
|
|
2000-09-28 00:44:55 +04:00
|
|
|
// Use JavaScript to refresh the page every 15 minutes
|
|
|
|
|
setTimeout('location.reload()',900000);
|
|
|
|
|
|
2000-09-27 12:06:35 +04:00
|
|
|
// 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";
|
2001-09-19 03:24:28 +04:00
|
|
|
var $tree2 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Branch&express=1";
|
2001-03-03 05:30:49 +03:00
|
|
|
var $tree3 = "http://tinderbox.mozilla.org/showbuilds.cgi?tree=SeaMonkey-Ports&express=1";
|
|
|
|
|
|
2000-09-27 12:06:35 +04:00
|
|
|
|
|
|
|
|
// 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) {
|
2001-03-03 05:33:53 +03:00
|
|
|
document.write("<iframe frameborder=0 height=150 width=100% src=\"");
|
2000-09-27 12:06:35 +04:00
|
|
|
document.write(tree);
|
|
|
|
|
document.write("\"></iframe>");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2002-01-08 06:11:43 +03:00
|
|
|
if (typeof document.layers != 'undefined') {
|
2000-09-27 12:06:35 +04:00
|
|
|
// 4.x
|
|
|
|
|
printLayer($tree1);
|
|
|
|
|
document.write("<hr>");
|
2001-09-19 03:24:28 +04:00
|
|
|
printLayer($tree2);
|
|
|
|
|
document.write("<hr>");
|
2001-03-03 05:30:49 +03:00
|
|
|
printLayer($tree3);
|
2000-09-27 12:06:35 +04:00
|
|
|
|
|
|
|
|
} else {
|
|
|
|
|
// Mozilla or IE
|
|
|
|
|
printIFrame($tree1);
|
|
|
|
|
document.write("<hr>");
|
2001-09-19 03:24:28 +04:00
|
|
|
printIFrame($tree2);
|
|
|
|
|
document.write("<hr>");
|
2001-03-03 05:30:49 +03:00
|
|
|
printIFrame($tree3);
|
2001-02-27 21:53:53 +03:00
|
|
|
|
2000-09-27 12:06:35 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
</script>
|
|
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
