| 1 |
<?php |
|---|
| 2 |
|
|---|
| 3 |
/* |
|---|
| 4 |
* AJAX page update script |
|---|
| 5 |
*/ |
|---|
| 6 |
function ajaxRefreshScript($args) { |
|---|
| 7 |
|
|---|
| 8 |
global $AJAX_PAGE_REFRESH_TIME; |
|---|
| 9 |
|
|---|
| 10 |
$url_args = "?ajax_refresh=1&"; |
|---|
| 11 |
foreach($args as $key => $value) { |
|---|
| 12 |
$url_args .= $key . "=" . $value . "&"; |
|---|
| 13 |
} |
|---|
| 14 |
$url_args = substr($url_args, 0,strlen($url_args)-1); |
|---|
| 15 |
|
|---|
| 16 |
$ret = " |
|---|
| 17 |
<script type='text/javascript' language='javascript'> |
|---|
| 18 |
|
|---|
| 19 |
var http_request = false; |
|---|
| 20 |
|
|---|
| 21 |
function makeRequest(url, parameters) { |
|---|
| 22 |
|
|---|
| 23 |
http_request = false; |
|---|
| 24 |
|
|---|
| 25 |
if (window.XMLHttpRequest) { // Mozilla, Safari,... |
|---|
| 26 |
http_request = new XMLHttpRequest(); |
|---|
| 27 |
if (http_request.overrideMimeType) { |
|---|
| 28 |
http_request.overrideMimeType('text/xml'); |
|---|
| 29 |
} |
|---|
| 30 |
} |
|---|
| 31 |
else if (window.ActiveXObject) { // IE |
|---|
| 32 |
try { |
|---|
| 33 |
http_request = new ActiveXObject('Msxml2.XMLHTTP'); |
|---|
| 34 |
} |
|---|
| 35 |
catch (e) { |
|---|
| 36 |
try { |
|---|
| 37 |
http_request = new ActiveXObject('Microsoft.XMLHTTP'); |
|---|
| 38 |
} |
|---|
| 39 |
catch (e) {} |
|---|
| 40 |
} |
|---|
| 41 |
} |
|---|
| 42 |
if (!http_request) { |
|---|
| 43 |
return false; |
|---|
| 44 |
} |
|---|
| 45 |
http_request.onreadystatechange = alertContents; |
|---|
| 46 |
http_request.open('GET', url + parameters, true); |
|---|
| 47 |
http_request.send(null); |
|---|
| 48 |
} |
|---|
| 49 |
|
|---|
| 50 |
function alertContents() { |
|---|
| 51 |
|
|---|
| 52 |
if (http_request.readyState == 4) { |
|---|
| 53 |
if (http_request.status == 200) { |
|---|
| 54 |
|
|---|
| 55 |
var result = http_request.responseXML; |
|---|
| 56 |
if (!result.documentElement && http_request.responseStream) { |
|---|
| 57 |
result.load(http_request.responseStream); |
|---|
| 58 |
} |
|---|
| 59 |
|
|---|
| 60 |
document.getElementById('content').innerHTML = ''; |
|---|
| 61 |
document.getElementById('content').innerHTML = http_request.responseText; |
|---|
| 62 |
} |
|---|
| 63 |
} |
|---|
| 64 |
} |
|---|
| 65 |
|
|---|
| 66 |
function updatePage() { |
|---|
| 67 |
makeRequest('" . $_SERVER['PHP_SELF'] . "', '" . $url_args . "'); |
|---|
| 68 |
} |
|---|
| 69 |
|
|---|
| 70 |
// refresh time in 'minutes:seconds' (0 to inifinity) : (0 to 59) |
|---|
| 71 |
var refresh_time='" . $AJAX_PAGE_REFRESH_TIME . "'; |
|---|
| 72 |
|
|---|
| 73 |
if (document.images){ |
|---|
| 74 |
var limit=refresh_time.split(\":\"); |
|---|
| 75 |
limit=limit[0]*60+limit[1]*1; |
|---|
| 76 |
var current = limit; |
|---|
| 77 |
} |
|---|
| 78 |
|
|---|
| 79 |
function beginRefresh(){ |
|---|
| 80 |
|
|---|
| 81 |
if (!document.images) { |
|---|
| 82 |
return; |
|---|
| 83 |
} |
|---|
| 84 |
if (current==1) { |
|---|
| 85 |
updatePage(); |
|---|
| 86 |
current = limit; |
|---|
| 87 |
} |
|---|
| 88 |
else { |
|---|
| 89 |
current-=1; |
|---|
| 90 |
} |
|---|
| 91 |
|
|---|
| 92 |
setTimeout(\"beginRefresh()\",1000); |
|---|
| 93 |
} |
|---|
| 94 |
|
|---|
| 95 |
window.onload=beginRefresh(); |
|---|
| 96 |
|
|---|
| 97 |
</script>"; |
|---|
| 98 |
|
|---|
| 99 |
return $ret; |
|---|
| 100 |
} |
|---|
| 101 |
|
|---|
| 102 |
|
|---|
| 103 |
?> |
|---|