← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/console/console.js

  • Committer: dcoles
  • Date: 2008-07-02 04:34:46 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:800
Docs: Updated docs to show debootstrap dependency and relect changes to jail 
building.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.js
301
301
        var prompt = document.getElementById("console_prompt");
302
302
        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);
303
303
    }
 
304
    else if (res.hasOwnProperty('restart') && res.hasOwnProperty('key'))
 
305
    {
 
306
        // Server has indicated that the console should be restarted
 
307
        
 
308
        // Get the new key (host, port, magic)
 
309
        server_key = res.key;
 
310
 
 
311
        // Print a reason to explain why we'd do such a horrible thing
 
312
        // (console timeout, server error etc.)
 
313
        var span = document.createElement("span");
 
314
        span.setAttribute("class", "errorMsg");
 
315
        span.appendChild(document.createTextNode("Console Restart: " + res.restart + "\n"));
 
316
        output.appendChild(span);
 
317
        // set the prompt to >>>
 
318
        var prompt = document.getElementById("console_prompt");
 
319
        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);
 
320
 
 
321
    }
304
322
    else if (res.hasOwnProperty('more'))
305
323
    {
306
324
        // Need more input, so set the prompt to ...