2014-05-24 16:05:40 +02:00
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
< html > < head >
< meta content = "text/html; charset=utf-8" http-equiv = "content-type" >
2014-05-29 14:35:20 +02:00
< link rel = "shortcut icon" type = "image/x-icon" href = "/images/webbuild.ico" / >
2014-05-24 16:05:40 +02:00
<!-- styles needed by jScrollPane -->
< link type = "text/css" href = "/scripts/jquery.jscrollpane.css" rel = "stylesheet" media = "all" >
<!-- latest jQuery direct from google's CDN -->
< script type = "text/javascript" src = "/scripts/jquery.js" > < / script >
<!-- the mousewheel plugin - optional to provide mousewheel support -->
< script type = "text/javascript" src = "/scripts/jquery.mousewheel.js" > < / script >
<!-- the jScrollPane script -->
< script type = "text/javascript" src = "/scripts/jquery.jscrollpane.min.js" > < / script >
< link rel = "stylesheet" type = "text/css" href = "/styles/webbuild.css" >
< script type = "text/javascript" src = "/scripts/socialbox.js" > < / script >
< script type = "text/javascript" >
<!--
var lastupdate = 0;
var reloadtime = 0;
function ajax_getvalues() {
var url = window.location.protocol+"//"+window.location.hostname+"/cgi-bin/autodist?FORMAT=xml&"+window.location.href.replace(/.*\?/,"");
2014-10-12 23:18:14 +02:00
var xmlhttp;
2014-05-24 16:05:40 +02:00
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 >
< / head > < body >
< div id = container style = "position:relative;width:894px;height:auto;top:0;left:0;margin-left:auto;margin-right:auto;" >
< table width = "100%" > < tr > < td >
< tr > < td valign = "middle" >
< table align = "center" > < tr >
< td colspan = 2 > < img src = "/images/webbuild.png" alt = "build automatici" >
< b > - Autodist - Build automatici< / b >
< / td >
< / tr > < / table >
< / td > < / tr >
< tr > < td >
< div id = "noajax_msg" > < p > Il supporto per AJAX non è abilitato nel tuo browser. L'aggiornamento live non sarà disponibile, premi Ricarica per aggiornare la pagina.< / p > < / div >
< span id = "output" > Caricamento in corso, attendere...< / span >
< script >
ajax_getvalues("");
$("#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 >
< / div >
< / body > < / html >
