~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/webapp/console/media/console.js

  • Committer: William Grant
  • Date: 2009-12-07 05:11:34 UTC
  • Revision ID: grantw@unimelb.edu.au-20091207051134-c9sa67t2ek3s2fos
Disable the console input textbox while starting the server.

Show diffs side-by-side

added added

removed removed

Lines of Context:
447
447
            hist.submit(inp.value);
448
448
            inp.value = hist.curr();
449
449
        }
 
450
 
 
451
        /* Disable the text box. This will be redone by
 
452
         * console_enter_line, but we do it here too in case start_server
 
453
         * takes a while.
 
454
         */
 
455
        inp.setAttribute("disabled", "disabled");
450
456
        /* Start the server if it hasn't already been started */
451
457
        start_server(callback);
452
458
        break;