summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2016-09-07Improve error handling in build_web_resourcesTimotej Lazar
2016-05-22Add support for per-problem initial codeTimotej Lazar
2016-03-17Improve build_web_resources.pyTimotej Lazar
2016-02-28Add experiments column to codeq_userTimotej Lazar
This JSON column holds an array of experiment objects, for example: [{'id': 'prolog_hints', 'group': 'manual_hints'}]. To include users in an experiment, just add appropriate objects to their records. Not the cleanest design from the DB point of view, but enough for the single current use case.
2016-02-17Also remove --nosignals in the sysvinit scriptTimotej Lazar
2016-02-17Remove --nosignals from the swipl command lineTimotej Lazar
Signals are needed for destroying pengines.
2016-02-11Update systemd unit files and add codeq.targetTimotej Lazar
For some reason, codeq-web should be started after codeq-web.
2015-12-10Add copyright infoTimotej Lazar
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-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-10-17Implemented init script for the SAML daemon, modified the refresh-and-deploy ↵Aleš Smodiš
script accordingly.
2015-10-15Implemented python login using authenticated SAML credentials.Aleš Smodiš
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-13Update create.sql and add a migration scriptTimotej Lazar
2015-10-13Update Prolog actions in sqlite_to_pg.pyTimotej Lazar
2015-10-12Drop name column from language/group/problem tablesTimotej Lazar
2015-10-12Drop is_visible column from problem tableTimotej Lazar
2015-10-10Rebuild sandbox binaries when deployingTimotej Lazar
2015-10-08Get problems from files in build_web_resourcesTimotej Lazar
The script now gets the list of languages, groups and problems from the filesystem and inserts missing IDs in the database.
2015-10-08Bugfix refresh-deploy script: use = instead of == to test for equality.Aleš Smodiš
2015-10-07Implemented the refresh-and-deploy shell script.Aleš Smodiš
2015-10-07Add init scripts for sysvinit.Aleš Smodiš
2015-10-05Implemented systemd unit files to manage CodeQ daemons.Aleš Smodiš
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
* Implemented ordering of problem groups and problems. * Added hint types based on hint definitions from common.py files.
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Update JSON build script: include problem name translations with language ↵Aleš Smodiš
index data.
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš
2015-09-14Script for adding problems to DB, update readmeTimotej Lazar
2015-08-19New database tables and data imports: user_group, user_in_group, language, ↵Aleš Smodiš
problem_group, problem.