codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-10-12	Drop name column from language/group/problem tables	Timotej Lazar
2015-10-12	Drop is_visible column from problem table	Timotej Lazar
2015-10-10	Rebuild sandbox binaries when deploying	Timotej Lazar
2015-10-08	Get problems from files in build_web_resources	Timotej Lazar
2015-10-08	Bugfix refresh-deploy script: use = instead of == to test for equality.	Aleš Smodiš
2015-10-07	Implemented the refresh-and-deploy shell script.	Aleš Smodiš
2015-10-07	Add init scripts for sysvinit.	Aleš Smodiš
2015-10-05	Implemented systemd unit files to manage CodeQ daemons.	Aleš Smodiš
2015-10-01	Build script also produces the web resources tree.	Aleš Smodiš
2015-09-29	* Bugfix: always do cur.fetchone() on new iteration.	Aleš Smodiš
2015-09-24	Create WEB_OUTPUT directory if it doesn't exist	Timotej Lazar
2015-09-24	Update JSON build script: include problem name translations with language ind...	Aleš Smodiš
2015-09-23	Implemented the script to build static JSON data for problem definitions.	Aleš Smodiš
2015-09-14	Script for adding problems to DB, update readme	Timotej Lazar
2015-08-19	New database tables and data imports: user_group, user_in_group, language, pr...	Aleš Smodiš