2
var i = parseInt(text);
4
if (isNaN(i)) return false;
6
if (i.toString() == text) return true;
10
function valueHandler(xmldoc, prefix) {
11
var values = xmldoc.getElementsByTagName("Value");
13
for (var i = 0; i < values.length; i++) {
14
var value = values[i];
15
var id = prefix + "-" + value.getAttribute("id");
16
var value_node = document.getElementById(id);
17
if ((value.firstChild)&&(value_node)) {
18
var value_text = value.firstChild.data;
19
var is_int = isInt(value_text);
22
if ((is_int)&&(value_text<0)) text_node = document.createTextNode("No Info");
23
else text_node = document.createTextNode(value_text);
25
value_node.replaceChild(text_node, value_node.firstChild);
26
if ((is_int)&&(value_text<0)) {
27
value_node.setAttribute("class", "badvalue");
34
function valueRun(url, handler, prefix, renew_time) {
35
loadXML(url, handler, prefix);
36
setTimeout("valueRun(\"" + url + "\"," + handler + ",\"" + prefix + "\"," + renew_time + ");", renew_time);
39
function valueRunner(url, handler, prefix, init_time, renew_time) {
40
setTimeout("valueRun(\"" + url + "\"," + handler + ",\"" + prefix + "\"," + renew_time + ");", init_time);
43
function valueRun2(rattr) {
44
loadXML(rattr.url, rattr.handler, rattr.attr);
45
setTimeout(valueRun2, rattr.renew_time, rattr);
48
function valueRunner2(url, handler, prefix, init_time, renew_time, attr) {
49
var rattr = new Object();
52
rattr.handler = handler;
53
rattr.prefix = prefix;
54
rattr.renew_time = renew_time;
57
setTimeout(valueRun2, init_time, rattr);