codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-30	Use psycopg's builtin support for jsonb columns	Timotej Lazar

2015-10-15	Remove terminator instructions from readme	Timotej Lazar

2015-10-13	Update Prolog actions in sqlite_to_pg.py	Timotej Lazar

2015-10-08	Get problems from files in build_web_resources	Timotej Lazar
	The script now gets the list of languages, groups and problems from the filesystem and inserts missing IDs in the database.
2015-10-07	Fix a typo	Timotej Lazar

2015-10-07	Add a sandbox for Python interpreter	Timotej Lazar
	Switch to user "nobody" and set additional limits.
2015-10-05	Update actions	Timotej Lazar

2015-10-03	Update and clean up installation instructions	Timotej Lazar

2015-09-24	Updated the readme: scripts/build_web_resources.py must be run before ↵	Aleš Smodiš
	running the whole shebang.
2015-09-18	Set problems path via CODEQ_PROBLEMS environment variable.	Aleš Smodiš

2015-09-16	Update readme	Timotej Lazar

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	Removed WSGI parts. They've been supplanted with the node app and the TCP ↵	Aleš Smodiš
	communication with the node app.
2015-09-15	Augmented the readme with apache directives for proxying websocket directives.	Aleš Smodiš

2015-09-14	Correct proxy path in readme	Timotej Lazar

2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš
	* Implemented a node web server supporting asynchronous websocket and long-polling communication with clients. * Implemented TCP communication between python middleware and node web server.
2015-09-14	Script for adding problems to DB, update readme	Timotej Lazar