← Back to branch summary

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

« back to all changes in this revision

Viewing changes to services/python-console

  • Committer: William Grant
  • Date: 2010-03-03 04:05:17 UTC
  • Revision ID: grantw@unimelb.edu.au-20100303040517-7grsyhj96ksqzi9e
Remove IVLEError support; only fileservice used it, and the last invocation is GONE.

Show diffs side-by-side

added added

removed removed

Lines of Context:
services/python-console
8
8
import cPickle
9
9
import cStringIO
10
10
import md5
11
 
import os
12
11
import Queue
13
12
import signal
14
13
import socket
203
202
    def handle_splash(self, params):
204
203
        # Initial console splash screen
205
204
        python_version = '.'.join(str(v) for v in sys.version_info[:3])
206
 
        splash_text = ("""IVLE Python Console (Python %s)
 
205
        splash_text = ("""IVLE %s Python Console (Python %s)
207
206
Type "help", "copyright", "credits" or "license" for more information.
208
 
""" % python_version)
 
207
""" % (ivle.__version__, python_version))
209
208
        return {'output': splash_text}
210
209
 
211
210
    def handle_chat(self, params):
378
377
    """Handles response from signals"""
379
378
    global terminate
380
379
    if signum == signal.SIGXCPU:
381
 
        terminate = "CPU Time Limit Exceeded"
 
380
        terminate = "CPU time limit exceeded"
382
381
 
383
382
def dispatch_msg(msg):
384
383
    global terminate
385
384
    if msg['cmd'] == 'terminate':
386
 
        terminate = "User requested console be terminated"
 
385
        terminate = "User requested restart"
387
386
    if terminate:
388
387
        raise ivle.chat.Terminate({"terminate":terminate})
389
388
    expiry.ping()
421
420
if __name__ == "__main__":
422
421
    port = int(sys.argv[1])
423
422
    magic = sys.argv[2]
424
 
    
425
 
    # Sanitise the Enviroment
426
 
    os.environ = {}
427
 
    os.environ['PATH'] = '/usr/local/bin:/usr/bin:/bin'
428
 
 
429
 
    if len(sys.argv) >= 4:
430
 
        # working_dir
431
 
        os.chdir(sys.argv[3])
432
 
        os.environ['HOME'] = sys.argv[3]
433
423
 
434
424
    # Make python's search path follow the cwd
435
425
    sys.path[0] = ''