summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-10-15Sort rows by language and group in Problem.listTimotej Lazar
2015-10-15Add missing commit() calls for DB connectionsTimotej Lazar
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-14Add support for command arguments to sandboxTimotej Lazar
2015-10-13Move monkey/monkey.py to monkey/__init__.pyTimotej Lazar
2015-10-13Remove unused code from monkey.actionTimotej Lazar
2015-10-13Update create.sql and add a migration scriptTimotej Lazar
2015-10-13Update Prolog actions in sqlite_to_pg.pyTimotej Lazar
2015-10-13Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-10-13slight changes to the logout functionality, so it won't request a reset anymoreRobert Zorko
2015-10-13Fix: add a missing commaTimotej Lazar
2015-10-13Use identifiers instead of names in get_statTimotej Lazar
Names have been removed from the database. This code will be updated when we decide what statistics to present to the user.
2015-10-13Add the websocket server for the robotTimotej Lazar
2015-10-13Store robot's address in settingsTimotej Lazar
2015-10-12Rename lang setting to gui_langTimotej Lazar
2015-10-12Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-12get basic user statisticsMarko Pušnik
2015-10-12Add the express web framework to the node server.Aleš Smodiš
2015-10-12Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-12attributes for profile pageMarko Pušnik
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š
* All requests have a session ID, except for the initial create_session system messages. * User session can be in an authenticated or anonymous state. * In anonymous state it is not possible to perform user actions. * Logout has been implemented. * Sessions timeout and are cleared after a period of inactivity (1 hour). * Bugfixed the lang setting handling. * Renamed get_problem -> get_current_solution, return only the user's current solution, not the whole problem data.
2015-10-08Make the Python interpreter even more unbufferedTimotej 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-07Bugfix: make the as yet unimplemented meta protocol not generate errors on ↵Aleš Smodiš
the Python side.
2015-10-07Fix a typoTimotej Lazar
2015-10-07Update .gitignoreTimotej Lazar
2015-10-07Add a sandbox for Python interpreterTimotej Lazar
Switch to user "nobody" and set additional limits.
2015-10-07Use 'forkserver' method for multiprocessingTimotej Lazar
Weird things happen when forking multithreaded programs without this.
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š