codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-06	Bugfix: revert to request.session.update_settings() in the Settings class.	Aleš Smodiš

2015-10-06	sign up, update last_login	Marko Pušnik

2015-10-06	change password	Marko Pušnik

2015-10-05	Add logging to file to python server. Configure logfile paths from ↵	Aleš Smodiš
	environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG.
2015-10-04	Unification of language session implementations. Added load_problem and ↵	Aleš Smodiš
	end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
2015-09-30	Add RobotSession	Timotej Lazar
	Currently it does nothing useful.
2015-09-29	removed some debug output and actually enabled writing into the DB	Robert Zorko

2015-09-29	added support to save settings, currently only 'lang' will actually be ↵	Robert Zorko
	saved, since it is the only one already in the database
2015-09-29	added settings to the user session and the login function now also returns ↵	Robert Zorko
	those settings - currently only gui language is implemented. The create.sql script is updated for that change as well.
2015-09-22	Add support for execing the user's Python program	Timotej Lazar

2015-09-18	added a parameter to the get problems python function, which accepts the ↵	Robert Zorko
	language (either 'prolog' or 'python')
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	Add handlers for python_{push,pull} requests	Timotej Lazar
	Will be reimplemented asynchronously.
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.