var timeoutHandle=0;var timeoutMessage="An error occurred trying to contact the web server!";function WebServer(){this.init()}function WebServer_init(A){this.timeout=5000;this.url="";this.server=""}function WebServer_setUrl(A){this.url=A}function WebServer_setTimeoutMessage(A){timeoutMessage=A}function WebServer_setTimeout(A){if(!isNaN(A)){this.timeout=A}}function WebServer_timeout(){alert(timeoutMessage)}function WebServer_getPage(){timeoutHandle=self.setTimeout(WebServer_timeout,this.timeout);document.getElementById("workSpace").innerHTML="<IFRAME id='process' width='0' height='0' SRC=''></IFRAME>";document.getElementById("process").src=this.url}WebServer.prototype.init=WebServer_init;WebServer.prototype.setUrl=WebServer_setUrl;WebServer.prototype.setTimeoutMessage=WebServer_setTimeoutMessage;WebServer.prototype.setTimeout=WebServer_setTimeout;WebServer.prototype.timeOut=WebServer_timeout;WebServer.prototype.connect=WebServer_getPage;WebServer.prototype.getPage=WebServer_getPage;function clearWebServerTimeout(){window.clearTimeout(timeoutHandle)};
