83 |
{ |
{ |
84 |
// return; // Disable debugging |
// return; // Disable debugging |
85 |
|
|
86 |
if(!debug.box) |
var debug_div = element_id('debug'); |
|
{ |
|
|
debug.box = document.createElement("div"); |
|
|
debug.box.setAttribute("style", |
|
|
"background-color:white" + |
|
|
"font-family: monospace; " + |
|
|
"border: solid black 3px; "+ |
|
|
"padding: 10px;"); |
|
|
|
|
|
document.body.appendChild(debug.box); |
|
|
debug.box.innerHTML = "<h1 style='test-align:cent'>Debugging Output</h1>"; |
|
|
} |
|
87 |
|
|
88 |
var p = document.createElement("p"); |
if (debug_div) debug_div.innerHTML += msg+"<br/>\n"; |
|
p.appendChild(document.createTextNode(msg)); |
|
|
debug.box.appendChild(p); |
|
89 |
} |
} |
90 |
|
|
91 |
// |
// |
120 |
watchdog_callback(new Array()); |
watchdog_callback(new Array()); |
121 |
} |
} |
122 |
|
|
123 |
|
var xmldoc; |
124 |
|
|
125 |
// This function loads the XML document from the specified URL, and when |
// This function loads the XML document from the specified URL, and when |
126 |
// it is fully loaded, passes that document and the url to the specified |
// it is fully loaded, passes that document and the url to the specified |
127 |
// handler function. This function works with any XML document |
// handler function. This function works with any XML document |
137 |
|
|
138 |
try |
try |
139 |
{ |
{ |
|
var xmldoc; |
|
140 |
// Use the standard DOM Level 2 technique, if it is supported |
// Use the standard DOM Level 2 technique, if it is supported |
141 |
if (document.implementation && document.implementation.createDocument) |
if (document.implementation && document.implementation.createDocument) |
142 |
{ |
{ |