codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-10-12	get basic user statistics	Marko Pušnik
2015-10-12	attributes for profile page	Marko Pušnik
2015-10-12	signup: +name +email	Marko Pušnik
2015-10-08	Reworked session handling.	Aleš Smodiš
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 environmen...	Aleš Smodiš
2015-10-04	Unification of language session implementations. Added load_problem and end_p...	Aleš Smodiš
2015-09-30	Add RobotSession	Timotej Lazar
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 saved,...	Robert Zorko
2015-09-29	added settings to the user session and the login function now also returns th...	Robert Zorko
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 lang...	Robert Zorko
2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
2015-09-15	Add handlers for python_{push,pull} requests	Timotej Lazar
2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš