index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
scripts
Age
Commit message (
Expand
)
Author
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š
