diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/javascripts/lazar-gui.js | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/public/javascripts/lazar-gui.js b/public/javascripts/lazar-gui.js index f9d8255..214529b 100644 --- a/public/javascripts/lazar-gui.js +++ b/public/javascripts/lazar-gui.js @@ -178,7 +178,7 @@ function loadDetails(id, model_url) { var markers = []; -progress = function(value,id) { +/*progress = function(value,id) { var percent = Math.round(value); var bar = document.getElementById("bar_"+id); var est = document.getElementById("est_"+id); @@ -188,9 +188,9 @@ progress = function(value,id) { prog.style.display = "none"; est.style.display = "none"; }; -}; +};*/ -remaining = function(id,approximate) { +/*remaining = function(id,approximate) { var est = document.getElementById("est_"+id); var now = new Date().getTime(); var remain = approximate - now; @@ -202,7 +202,7 @@ remaining = function(id,approximate) { var newtime = minutes + "m " + seconds + "s "; } est.innerHTML = newtime; -}; +};*/ renderTask = function(task_uri,id) { var uri = task_uri; |