codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-12	Remove unused server.problems.list_problems	Timotej Lazar

2015-10-12	signup: +name +email	Marko Pušnik

2015-10-10	Use a selector instead of polling Python interpreter	Timotej Lazar

2015-10-08	Reworked session handling.	Aleš Smodiš
	* All requests have a session ID, except for the initial create_session system messages. * User session can be in an authenticated or anonymous state. * In anonymous state it is not possible to perform user actions. * Logout has been implemented. * Sessions timeout and are cleared after a period of inactivity (1 hour). * Bugfixed the lang setting handling. * Renamed get_problem -> get_current_solution, return only the user's current solution, not the whole problem data.
2015-10-07	Bugfix: make the as yet unimplemented meta protocol not generate errors on ↵	Aleš Smodiš
	the Python side.
2015-10-07	Add a sandbox for Python interpreter	Timotej Lazar
	Switch to user "nobody" and set additional limits.
2015-10-06	Test user's program before looking for hints	Timotej Lazar

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-05	Bugfix: correctly handle python-nodejs transport using bytes.	Aleš Smodiš

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	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Robert Zorko

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-29	Add HintPopup and set hint_type on Hint* classes	Timotej Lazar

2015-09-23	Kill Python interpreter on excessive output	Timotej Lazar

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

2015-09-22	Fix an inconsequential typo	Timotej Lazar

2015-09-22	Oops, overzealous copy/paste	Timotej Lazar

2015-09-22	Create the hint-list in individual test functions	Timotej Lazar
	This will allow us to add more hints, for example "did you know?"-type information when the program is correct.
2015-09-22	Add support for execing the user's Python program	Timotej Lazar

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

2015-09-21	Changed testing in util.py	Martin
	Changed output when timeout occurs in Python
2015-09-18	Set problems path via CODEQ_PROBLEMS environment variable.	Aleš Smodiš

2015-09-18	added a parameter to the get problems python function, which accepts the ↵	Robert Zorko
	language (either 'prolog' or 'python')
2015-09-18	Send the plan definition in get_problem_data	Timotej Lazar

2015-09-18	Simplify exceptions returned by PythonSession.run	Timotej Lazar
	Don't include the first stack entry or the filename (which is <string>).
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-15	Bugfix: invert the packet length comparison in the TCP packet decode loop.	Aleš Smodiš

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	Add SID to JSON object in UserSession.send	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-11	Pass a list of solved problems to Prolog hint/test	Timotej Lazar
	This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately.
2015-09-11	Pass PythonSession.run to hint and test functions	Timotej Lazar
	No other session stuff is needed (for now).
2015-09-11	Use Hint classes in PythonSession	Timotej Lazar

2015-09-11	s/hint_defs/hint_type/g	Timotej Lazar

2015-09-10	Remove unneeded import	Timotej Lazar

2015-09-10	Add Hint classes for normal and sequence hints	Timotej Lazar

2015-09-08	Check for syntax errors in python_session.hint	Timotej Lazar

2015-09-04	Add Python push&pull services to wsgi_server	Timotej Lazar

2015-09-03	Pass the session object to test and hint functions	Timotej Lazar

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

2015-09-01	Change hard-coded language to Slovene for testing	Timotej Lazar

2015-09-01	Add Python support to wsgi_server.{Hint,Test}	Timotej Lazar