codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-09	Added exception handling to get_tokens functions.	Martin

2015-10-08	Make the Python interpreter even more unbuffered	Timotej Lazar

2015-10-07	Add a sandbox for Python interpreter	Timotej Lazar
	Switch to user "nobody" and set additional limits.
2015-10-06	Fixed a bug with function almost_equal.	Martin

2015-09-23	Only show ^C on interrupt if user code is running	Timotej Lazar

2015-09-23	Allow syscalls needed for help() in Python sandbox	Timotej Lazar

2015-09-22	Added basic handling of exception to util.py	Martin

2015-09-22	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Martin

2015-09-22	Add support for execing the user's Python program	Timotej Lazar

2015-09-21	Changed testing in util.py	Martin
	Changed output when timeout occurs in Python
2015-09-18	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Martin

2015-09-18	Added functions to util.py.	Martin

2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
	Creating, destroying and communicationg with the interpreter subprocess is now handled by a thread attached to PythonSession. Interpreter is sandboxed using libseccomp.
2015-09-15	Added utility functions to util.py	Martin

2015-09-03	Use multiprocessing.managers for the Python runner	Timotej Lazar

2015-08-31	Add a Python utility module	Timotej Lazar

2015-08-28	Change timeout result in python runner	Timotej Lazar

2015-08-28	Add support for creating Python interpreters	Timotej Lazar

2015-08-24	Simplify python.engine	Timotej Lazar

2015-08-21	Add a Python server for running users' code	Timotej Lazar