summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-10-12Update TODO. It is now empty. We can go home.Timotej Lazar
2015-10-12Drop name column from language/group/problem tablesTimotej Lazar
2015-10-12Remove unused server.problems.list_problemsTimotej Lazar
2015-10-12Drop is_visible column from problem tableTimotej Lazar
2015-10-12signup: +name +emailMarko Pušnik
2015-10-10Use a selector instead of polling Python interpreterTimotej Lazar
2015-10-10Sandbox: setgid before setuidTimotej Lazar
2015-10-10Rebuild sandbox binaries when deployingTimotej Lazar
2015-10-09Added exception handling to get_tokens functions.Martin
2015-10-08Reworked session handling.Aleš Smodiš
2015-10-08Make the Python interpreter even more unbufferedTimotej Lazar
2015-10-08Get problems from files in build_web_resourcesTimotej Lazar
2015-10-08Bugfix refresh-deploy script: use = instead of == to test for equality.Aleš Smodiš
2015-10-07Bugfix: make the as yet unimplemented meta protocol not generate errors on th...Aleš Smodiš
2015-10-07Fix a typoTimotej Lazar
2015-10-07Update .gitignoreTimotej Lazar
2015-10-07Add a sandbox for Python interpreterTimotej Lazar
2015-10-07Use 'forkserver' method for multiprocessingTimotej Lazar
2015-10-07Implemented the refresh-and-deploy shell script.Aleš Smodiš
2015-10-07Add init scripts for sysvinit.Aleš Smodiš
2015-10-06Test user's program before looking for hintsTimotej Lazar
2015-10-06Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-10-06Fixed a bug with function almost_equal.Martin
2015-10-06Bugfix: revert to request.session.update_settings() in the Settings class.Aleš Smodiš
2015-10-06Kill all the zombiesTimotej Lazar
2015-10-06sign up, update last_loginMarko Pušnik
2015-10-06Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-06change passwordMarko Pušnik
2015-10-05Implemented systemd unit files to manage CodeQ daemons.Aleš Smodiš
2015-10-05Add the prolog runner to be used for daemonisation in init scripts.Aleš Smodiš
2015-10-05Update actionsTimotej Lazar
2015-10-05Bind the node server to the localhost interface.Aleš Smodiš
2015-10-05Add logging to file to python server. Configure logfile paths from environmen...Aleš Smodiš
2015-10-05Bugfix: correctly handle python-nodejs transport using bytes.Aleš Smodiš
2015-10-04Unification of language session implementations. Added load_problem and end_p...Aleš Smodiš
2015-10-04Improved exception tolerance, added logging to a file, removed old code, simp...Aleš Smodiš
2015-10-03Update and clean up installation instructionsTimotej Lazar
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-30Add RobotSessionTimotej Lazar
2015-09-29removed some debug output and actually enabled writing into the DBRobert Zorko
2015-09-29added support to save settings, currently only 'lang' will actually be saved,...Robert Zorko
2015-09-29Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-09-29added settings to the user session and the login function now also returns th...Robert Zorko
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
2015-09-29Add HintPopup and set hint_type on Hint* classesTimotej Lazar
2015-09-24Update monkey.test.test for new testing functionsTimotej Lazar
2015-09-24Remove trailing . from historical Prolog queriesTimotej Lazar
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Updated the readme: scripts/build_web_resources.py must be run before running...Aleš Smodiš
2015-09-24Update JSON build script: include problem name translations with language ind...Aleš Smodiš