~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: 2010-02-23 07:49:55 UTC
  • Revision ID: grantw@unimelb.edu.au-20100223074955-0wd5dmpjkn2hq0qe
Display '+++' when input is requested by the console, as the docs suggest.

Show diffs side-by-side

added added

removed removed

Lines of Context:
391
391
        // Return early, so we don't re-enable the input box.
392
392
        return;
393
393
    }
 
394
    else if (res.hasOwnProperty('input'))
 
395
    {
 
396
        set_prompt("+++");
 
397
    }
394
398
    else
395
399
    {
396
 
        // assert res.hasOwnProperty('input')
397
 
        set_prompt("...");
 
400
        alert("An internal error occurred in the python console.");
 
401
        return;
398
402
    }
399
403
 
400
404
    if (inputbox != null)