summaryrefslogtreecommitdiff
path: root/server
AgeCommit message (Expand)Author
2016-01-12Get number of passed/total tests from Prolog test functionsTimotej Lazar
2016-01-05Factor common code out of PrologSession.{hint,run_for_user}Timotej Lazar
2016-01-05PrologSession: only add definitions of predicates that appear in program when...Timotej Lazar
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
2015-12-11Only try monkey.fix if we have edits for this problemTimotej Lazar
2015-12-11Use a more general method for extracting editsTimotej Lazar
2015-12-11Add is_admin attribute to UserSessionTimotej Lazar
2015-12-11Remove unused importTimotej Lazar
2015-12-11Return is_admin field on loginTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-18Handle Prolog engine exceptions in PrologSessionTimotej Lazar
2015-11-17Add optional style attribute for popup hintsTimotej Lazar
2015-11-09Bugfix: SAML login method did not return correct field for the e-mail.Aleš Smodiš
2015-11-06Fix SAML login: account upgrading is done via the email attribute, username i...Aleš Smodiš
2015-11-02Modified the python server to support SAML account merge/upgrade upon first S...Aleš Smodiš
2015-10-21username added to login replayMarko Pušnik
2015-10-19Add method to return attempted/solved problems for given languageTimotej Lazar
2015-10-16Record solved problems in databaseTimotej Lazar
2015-10-16added gui_layout to the settings of the userRobert Zorko
2015-10-15Server-side support for SAML logout, sessions are destroyed only using an AJA...Aleš Smodiš
2015-10-15Implemented python login using authenticated SAML credentials.Aleš Smodiš
2015-10-15Process user stats in Python instead of SQLTimotej Lazar
2015-10-15Store identifiers instead of IDs in Problem modelTimotej Lazar
2015-10-15Implemented minimum support for authentication via SAML with an addition of a...Aleš Smodiš
2015-10-14Use sandbox for testing Python programsTimotej Lazar
2015-10-13Use identifiers instead of names in get_statTimotej Lazar
2015-10-13Store robot's address in settingsTimotej Lazar
2015-10-12Rename lang setting to gui_langTimotej Lazar
2015-10-12get basic user statisticsMarko Pušnik
2015-10-12Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-12attributes for profile pageMarko Pušnik
2015-10-12Remove unused server.problems.list_problemsTimotej Lazar
2015-10-12signup: +name +emailMarko Pušnik
2015-10-10Use a selector instead of polling Python interpreterTimotej Lazar
2015-10-08Reworked session handling.Aleš Smodiš
2015-10-07Bugfix: make the as yet unimplemented meta protocol not generate errors on th...Aleš Smodiš
2015-10-07Add a sandbox for Python interpreterTimotej Lazar
2015-10-06Test user's program before looking for hintsTimotej Lazar
2015-10-06Bugfix: revert to request.session.update_settings() in the Settings class.Aleš Smodiš
2015-10-06sign up, update last_loginMarko Pušnik
2015-10-06change passwordMarko Pušnik
2015-10-05Add logging to file to python server. Configure logfile paths from environmen...Aleš Smodiš
2015-10-05Bugfix: correctly handle python-nodejs transport using bytes.Aleš Smodiš
2015-10-04Unification of language session implementations. Added load_problem and end_p...Aleš Smodiš
2015-09-30Add RobotSessionTimotej Lazar
2015-09-29removed some debug output and actually enabled writing into the DBRobert Zorko
2015-09-29added support to save settings, currently only 'lang' will actually be saved,...Robert Zorko
2015-09-29Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-09-29added settings to the user session and the login function now also returns th...Robert Zorko
2015-09-29Add HintPopup and set hint_type on Hint* classesTimotej Lazar