summaryrefslogtreecommitdiff
path: root/scripts/build_web_resources.py
AgeCommit message (Collapse)Author
2016-03-17Improve build_web_resources.pyTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-10-12Drop name column from language/group/problem tablesTimotej 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-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š