55 lines
2.0 KiB
HTML
55 lines
2.0 KiB
HTML
|
<!--#set var="title" value="Automatic builds" -->
|
||
|
|
<!--#set var="description" value="Automatic builds page" -->
|
||
|
|
<!--#set var="keywords" value="openmamba,autodist,autospec,makedist,ftbfs,developers,patch" -->
|
||
|
|
<!--#set var="bodyadd" value="onload=ajax_getvalues(\"$file\")" -->
|
||
|
|
<!--#include virtual="/header.html" -->
|
||
|
|
<script type="text/javascript">
|
||
|
|
<!--
|
||
|
|
var lastupdate = 0;
|
||
|
|
var reloadtime = 0;
|
||
|
|
|
||
|
|
function ajax_getvalues() {
|
||
|
|
var url = "/cgi-bin/autodist.cgi?"+window.location.href.replace(/.*\?/,"");
|
||
|
|
var xmlhttp;
|
||
|
|
if (window.XMLHttpRequest)
|
||
|
|
xmlhttp = new XMLHttpRequest();
|
||
|
|
else if (window.ActiveXObject)
|
||
|
|
xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
|
||
|
|
else
|
||
|
|
return;
|
||
|
|
document.getElementById("noajax_msg").innerHTML = "";
|
||
|
|
xmlhttp.onreadystatechange = function() {
|
||
|
|
if (xmlhttp.readyState != 4)
|
||
|
|
return;
|
||
|
|
var xmldoc = xmlhttp.responseXML.documentElement;
|
||
|
|
document.getElementById("output").innerHTML = xmldoc.getElementsByTagName("output")[0].childNodes[0].nodeValue;
|
||
|
|
reloadtime = xmldoc.getElementsByTagName("reloadtime")[0].childNodes[0].nodeValue;
|
||
|
|
lastupdate = (+new Date());
|
||
|
|
setTimeout("ajax_getvalues()", reloadtime);
|
||
|
|
}
|
||
|
|
xmlhttp.open("GET", url, true);
|
||
|
|
xmlhttp.send(null);
|
||
|
|
}
|
||
|
|
//-->
|
||
|
|
</script>
|
||
|
|
<table width="100%"><tr><td>
|
||
|
|
<tr><td valign="middle">
|
||
|
|
<table align="center"><tr>
|
||
|
|
<td><img src="/images/community-gr.png" alt="build automatici"></td>
|
||
|
|
<td class="toptitle">Automatic builds</td>
|
||
|
|
</tr></table>
|
||
|
|
</td></tr>
|
||
|
|
<tr><td>
|
||
|
|
<div id="noajax_msg"><p>AJAX support is not enabled in your browser. Live status is not available, press Reload to update.</p></div>
|
||
|
|
<span id="output">Loading, please wait...</span>
|
||
|
|
<script>
|
||
|
|
$("#output").mousemove(function(event) {
|
||
|
|
lastupdatetime = (+new Date()) - lastupdate; // milliseconds since last update
|
||
|
|
// var msg = "called " + lastupdatetime + "ms ago";
|
||
|
|
if (lastupdatetime > reloadtime) { lastupdate = lastupdatetime; ajax_getvalues(); }
|
||
|
|
});
|
||
|
|
</script>
|
||
|
|
</td></tr>
|
||
|
|
</table>
|
||
|
|
<!--#include virtual="/footer.html" -->
|