ferencd@0: function requestjss(file) {
ferencd@0:     console.log("Requesting", file);
ferencd@0:     var req = new XMLHttpRequest();
ferencd@0: 
ferencd@0:     // report progress events
ferencd@0:     req.addEventListener("progress", function(event) {
ferencd@0:         if (event.lengthComputable) {
ferencd@0:             var percentComplete = event.loaded / event.total;
ferencd@0:             if(file==="graphics.js") bar.animate(percentComplete);  // Value from 0.0 to 1.0
ferencd@0: 
ferencd@0:             console.log("complete=", percentComplete)
ferencd@0:         } else {
ferencd@0:             // Unable to compute progress information since the total size is unknown
ferencd@0:         }
ferencd@0:     }, false);
ferencd@0: 
ferencd@0:     // load responseText into a new script element
ferencd@0:     req.addEventListener("load", function(event) {
ferencd@0:         var e = event.target;
ferencd@0:         var s = document.createElement("script");
ferencd@0:         s.innerHTML = e.responseText;
ferencd@0:         // or: s[s.innerText!=undefined?"innerText":"textContent"] = e.responseText
ferencd@0:         document.documentElement.appendChild(s);
ferencd@0:         console.log("Finished 2:", file);
ferencd@0:         if(file==="/js/graphics.js")
ferencd@0:         {
ferencd@0:             requestjss("/js/game.js");
ferencd@0:         }
ferencd@0:         else
ferencd@0:         {
ferencd@0:             setup_labyrinth(event);
ferencd@0:             document.getElementById("loader_div").style.visibility = 'hidden';
ferencd@0:         }
ferencd@0: 
ferencd@0:         s.addEventListener("load", function() {
ferencd@0:             // this runs after the new script has been executed...
ferencd@0:             });
ferencd@0:     }, false);
ferencd@0: 
ferencd@0:     req.open("GET", file);
ferencd@0:     req.send();
ferencd@0: }