dijit.byId("loading_bar").update({progress: loading_progress});
if (loading_progress >= 90)
- remove_splash();
+ Element.hide("overlay");
}
-function remove_splash() {
- Element.hide("overlay");
-}
-
function strip_tags(s) {
return s.replace(/<\/?[^>]+(>|$)/g, "");
}