diff --git a/js/explorer.js b/js/explorer.js index 6f5a70c8a18c8ab48d35f8c499fbebff919ab44a..e3af38f9b9d96cf564d0d97d9e7586a9f57a5d8b 100644 --- a/js/explorer.js +++ b/js/explorer.js @@ -130,10 +130,11 @@ function openXML(filename, handler) { xhttp=new ActiveXObject("Microsoft.XMLHTTP") ; } xhttp.addEventListener("error", handle_request_error); - xhttp.addEventListener("readystatechange", function() {handler(this);}); - xhttp.open("GET",filename) ; + //xhttp.addEventListener("readystatechange", function() {handler(this);}); + xhttp.open("GET",filename, false) ; xhttp.overrideMimeType('text/xml'); xhttp.send(null) ; + handler(xhttp) ; } /* exploration */