diff --git a/WebContent/OSRM.debug.js b/WebContent/OSRM.debug.js new file mode 100644 index 000000000..f6005794e --- /dev/null +++ b/WebContent/OSRM.debug.js @@ -0,0 +1,41 @@ +// debug code for OSRM +// (works faster than console.log in time-critical events) + +OSRM.debug = {}; + + +// add elements to DOM +OSRM.debug.init = function() { + //create DOM objects for debug output + var wrapper = document.createElement('div'); + wrapper.id = "OSRM.debug-wrapper"; + wrapper.className = "gui-wrapper"; + wrapper.style.cssText = "width:410px;height:95%;top:5px;right:50px;"; + + var box = document.createElement('div'); + box.id = "OSRM.debug-box"; + box.className = "gui-box"; + box.style.cssText = "width:390px;top:0px;bottom:0px;"; + + OSRM.debug.content= document.createElement('div'); + OSRM.debug.content.id = "OSRM.debug-content"; + OSRM.debug.content.style.cssText = "position:absolute;bottom:0px;top:0px;width:380px;font-size:11px;overflow:auto;margin:5px;"; + + // add elements + document.body.appendChild(wrapper); + wrapper.appendChild(box); + box.appendChild(OSRM.debug.content); +}; +if(document.addEventListener) // FF, CH + document.addEventListener("DOMContentLoaded", OSRM.debug.init, false); +else // IE + OSRM.debug.init(); + + +// working functions +OSRM.debug.log = function(text) { + OSRM.debug.content.innerHTML += text + "
"; +}; +OSRM.debug.clear = function() { + OSRM.debug.content.innerHTML = ""; +}; diff --git a/WebContent/main.html b/WebContent/main.html index 644610e54..53a02a223 100644 --- a/WebContent/main.html +++ b/WebContent/main.html @@ -19,6 +19,7 @@ +