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