codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
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