4 * AJAX page update script
6 function ajaxRefreshScript($args) {
8 global $AJAX_PAGE_REFRESH_TIME;
10 $url_args = "?ajax_refresh=1&";
11 foreach($args as $key => $value) {
12 $url_args .= $key . "=" . $value . "&";
14 $url_args = substr($url_args, 0,strlen($url_args)-1);
17 <script type='text/javascript' language='javascript'>
19 var http_request = false;
21 function makeRequest(url, parameters) {
25 if (window.XMLHttpRequest) { // Mozilla, Safari,...
26 http_request = new XMLHttpRequest();
27 if (http_request.overrideMimeType) {
28 http_request.overrideMimeType('text/xml');
31 else if (window.ActiveXObject) { // IE
33 http_request = new ActiveXObject('Msxml2.XMLHTTP');
37 http_request = new ActiveXObject('Microsoft.XMLHTTP');
45 http_request.onreadystatechange = alertContents;
46 http_request.open('GET', url + parameters, true);
47 http_request.send(null);
50 function alertContents() {
56 if (http_request.readyState == 4) {
57 if (http_request.status == 200) {
59 var result = http_request.responseXML;
60 if (!result.documentElement && http_request.responseStream) {
61 result.load(http_request.responseStream);
64 var response = http_request.responseXML.documentElement;
67 if (response.getElementsByTagName('nav_menu')[0]) {
68 nav_menu = response.getElementsByTagName('nav_menu')[0].firstChild.data;
71 if (response.getElementsByTagName('nav_submenu')[0]) {
72 nav_submenu = response.getElementsByTagName('nav_submenu')[0].firstChild.data;
75 if (response.getElementsByTagName('content')[0]) {
76 content = response.getElementsByTagName('content')[0].firstChild.data;
80 document.getElementById('nav_menu').innerHTML = '';
81 document.getElementById('nav_menu').innerHTML = nav_menu;
84 document.getElementById('nav_submenu').innerHTML = '';
85 document.getElementById('nav_submenu').innerHTML = nav_submenu;
88 document.getElementById('content').innerHTML = '';
89 document.getElementById('content').innerHTML = content;
95 function updatePage() {
96 makeRequest('" . $_SESSION['ARI_ROOT'] . "', '" . $url_args . "');
99 // refresh time in 'minutes:seconds' (0 to inifinity) : (0 to 59)
100 var refresh_time='" . $AJAX_PAGE_REFRESH_TIME . "';
102 if (document.images){
103 var limit=refresh_time.split(\":\");
104 limit=limit[0]*60+limit[1]*1;
108 function beginRefresh(){
110 if (!document.images) {
121 setTimeout(\"beginRefresh()\",1000);
124 window.onload=beginRefresh;