{
var obj = new XMLHttpRequest ();
var url = server ? server + '/' + file : file;
+ //alert ('loading ' + url);
obj.open ('GET', url, false);
obj.overrideMimeType ('text/xml');
obj.send ('');
- return obj.responseXML.firstChild;
+ return (obj.responseXML && obj.responseXML.firstChild);
}