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

« back to all changes in this revision

Viewing changes to services/python-console

  • Committer: Matt Giuca
  • Date: 2010-02-25 09:34:17 UTC
  • Revision ID: matt.giuca@gmail.com-20100225093417-02z6stnx9biqpbol
Exercise display: Shows a warning if the worksheet cutoff has passed for this subject, that it will not count towards your marks.

Show diffs side-by-side

added added

removed removed

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