web-gui/hello-world/source/script/hello_world.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/*
 * This is mock content and will be overwritten with the first 'generate.py source'.
 */
function inform(){
  var message = 
    "<div style='font-family: Verdana'>" + 
    "<h2>Application not yet ready!</h2>" + 
    "<div>Please use the generator to build this application, i.e. run <i>'generate.py source'</i> in an OS shell; then reload this page.</div>" + 
    "</div>";

  window.setTimeout(function() {
    document.body.innerHTML = message;  
  }, 0);
}

if (window.attachEvent) {
  window.attachEvent("onload", inform);
} else {
  window.addEventListener("load", inform, false);
}