codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-15	Server-side support for SAML logout, sessions are destroyed only using an ↵	Aleš Smodiš
	AJAX call.
2015-10-15	Implemented python login using authenticated SAML credentials.	Aleš Smodiš

2015-10-15	Process user stats in Python instead of SQL	Timotej Lazar
	Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
2015-10-15	Store identifiers instead of IDs in Problem model	Timotej Lazar

2015-10-15	Implemented minimum support for authentication via SAML with an addition of ↵	Aleš Smodiš
	a new daemon. TODO: python login with SAML credentials.
2015-10-14	Use sandbox for testing Python programs	Timotej Lazar
	Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox <user> kill", so terminator is not needed anymore.
2015-10-13	Use identifiers instead of names in get_stat	Timotej Lazar
	Names have been removed from the database. This code will be updated when we decide what statistics to present to the user.
2015-10-13	Store robot's address in settings	Timotej Lazar

2015-10-12	Rename lang setting to gui_lang	Timotej Lazar

2015-10-12	get basic user statistics	Marko Pušnik

2015-10-12	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Marko Pušnik

2015-10-12	attributes for profile page	Marko Pušnik

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.