summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-11-11Add a script for interactively viewing tracesTimotej Lazar
2015-11-11Add migration script for codeq_user.gui_layoutTimotej Lazar
2015-11-09Missed "Shibboleth.sso" paths in init files.Aleš Smodiš
2015-11-09Change all remaining "Shibboleth.sso" paths to "saml".Aleš Smodiš
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 ↵Aleš Smodiš
is eduPersonPrincipalName.
2015-11-05Add a script to generate HTML with problem descriptionTimotej Lazar
2015-11-04Use correct type for prolog_solve actionTimotej Lazar
2015-11-04Fix prolog.engine.check_answersTimotej Lazar
Variables not specified in the set of expected answers are now ignored.
2015-11-02Add support for upgrade an existing account to the SAML-type account in the ↵Aleš Smodiš
node web server.
2015-11-02Modified the python server to support SAML account merge/upgrade upon first ↵Aleš Smodiš
SAML-type login of an existing user.
2015-10-30Update db.models.CodeqUserTimotej Lazar
2015-10-30Use psycopg's builtin support for jsonb columnsTimotej Lazar
2015-10-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-10-21fix for the forgotten samlDataRobert Zorko
2015-10-21Adapt to the new SAML URLs, set ForceAuthn=true to always request ↵Aleš Smodiš
authentication from the user.
2015-10-21username added to login replayMarko Pušnik
2015-10-19Add method to return attempted/solved problems for given languageTimotej Lazar
2015-10-17Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵Aleš Smodiš
script accordingly.
2015-10-17Added periodic timed out request cleaner to SAML daemon.Aleš Smodiš
2015-10-16Logging improvements in the SAML daemon.Aleš Smodiš
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 ↵Aleš Smodiš
AJAX call.
2015-10-15Implemented python login using authenticated SAML credentials.Aleš Smodiš
2015-10-15Process user stats in Python instead of SQLTimotej Lazar
Since we ultimately want to include events from traces (hints, tests) in statistics, SQL will be insufficient.
2015-10-15Store identifiers instead of IDs in Problem modelTimotej Lazar
2015-10-15Implemented minimum support for authentication via SAML with an addition of ↵Aleš Smodiš
a new daemon. TODO: python login with SAML credentials.
2015-10-15Remove terminator instructions from readmeTimotej Lazar
2015-10-15Sort rows by language and group in Problem.listTimotej Lazar
2015-10-15Add missing commit() calls for DB connectionsTimotej Lazar
2015-10-14Use sandbox for testing Python programsTimotej 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-14Add support for command arguments to sandboxTimotej Lazar
2015-10-13Move monkey/monkey.py to monkey/__init__.pyTimotej Lazar
2015-10-13Remove unused code from monkey.actionTimotej Lazar
2015-10-13Update create.sql and add a migration scriptTimotej Lazar
2015-10-13Update Prolog actions in sqlite_to_pg.pyTimotej Lazar
2015-10-13Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-10-13slight changes to the logout functionality, so it won't request a reset anymoreRobert Zorko
2015-10-13Fix: add a missing commaTimotej Lazar
2015-10-13Use identifiers instead of names in get_statTimotej 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-13Add the websocket server for the robotTimotej Lazar
2015-10-13Store robot's address in settingsTimotej Lazar
2015-10-12Rename lang setting to gui_langTimotej Lazar
2015-10-12Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-12get basic user statisticsMarko Pušnik
2015-10-12Add the express web framework to the node server.Aleš Smodiš
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-12Update TODO. It is now empty. We can go home.Timotej Lazar