| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-10-14 | Use sandbox for testing Python programs | Timotej 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-13 | Use identifiers instead of names in get_stat | Timotej 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-13 | Store robot's address in settings | Timotej Lazar | |
| 2015-10-12 | Rename lang setting to gui_lang | Timotej Lazar | |
| 2015-10-12 | get basic user statistics | Marko Pušnik | |
| 2015-10-12 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Marko Pušnik | |
| 2015-10-12 | attributes for profile page | Marko Pušnik | |
| 2015-10-12 | Remove unused server.problems.list_problems | Timotej Lazar | |
| 2015-10-12 | signup: +name +email | Marko Pušnik | |
| 2015-10-10 | Use a selector instead of polling Python interpreter | Timotej Lazar | |
| 2015-10-08 | Reworked 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-07 | Bugfix: make the as yet unimplemented meta protocol not generate errors on ↵ | Aleš Smodiš | |
| the Python side. | |||
| 2015-10-07 | Add a sandbox for Python interpreter | Timotej Lazar | |
| Switch to user "nobody" and set additional limits. | |||
| 2015-10-06 | Test user's program before looking for hints | Timotej Lazar | |
| 2015-10-06 | Bugfix: revert to request.session.update_settings() in the Settings class. | Aleš Smodiš | |
| 2015-10-06 | sign up, update last_login | Marko Pušnik | |
| 2015-10-06 | change password | Marko Pušnik | |
| 2015-10-05 | Add logging to file to python server. Configure logfile paths from ↵ | Aleš Smodiš | |
| environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG. | |||
| 2015-10-05 | Bugfix: correctly handle python-nodejs transport using bytes. | Aleš Smodiš | |
| 2015-10-04 | Unification of language session implementations. Added load_problem and ↵ | Aleš Smodiš | |
| end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen. | |||
| 2015-09-30 | Add RobotSession | Timotej Lazar | |
| Currently it does nothing useful. | |||
| 2015-09-29 | removed some debug output and actually enabled writing into the DB | Robert Zorko | |
| 2015-09-29 | added support to save settings, currently only 'lang' will actually be ↵ | Robert Zorko | |
| saved, since it is the only one already in the database | |||
| 2015-09-29 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Robert Zorko | |
| 2015-09-29 | added settings to the user session and the login function now also returns ↵ | Robert Zorko | |
| those settings - currently only gui language is implemented. The create.sql script is updated for that change as well. | |||
| 2015-09-29 | Add HintPopup and set hint_type on Hint* classes | Timotej Lazar | |
| 2015-09-23 | Kill Python interpreter on excessive output | Timotej Lazar | |
| 2015-09-22 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-22 | Fix an inconsequential typo | Timotej Lazar | |
| 2015-09-22 | Oops, overzealous copy/paste | Timotej Lazar | |
| 2015-09-22 | Create the hint-list in individual test functions | Timotej Lazar | |
| This will allow us to add more hints, for example "did you know?"-type information when the program is correct. | |||
| 2015-09-22 | Add support for execing the user's Python program | Timotej Lazar | |
| 2015-09-21 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-21 | Changed testing in util.py | Martin | |
| Changed output when timeout occurs in Python | |||
| 2015-09-18 | Set problems path via CODEQ_PROBLEMS environment variable. | Aleš Smodiš | |
| 2015-09-18 | added a parameter to the get problems python function, which accepts the ↵ | Robert Zorko | |
| language (either 'prolog' or 'python') | |||
| 2015-09-18 | Send the plan definition in get_problem_data | Timotej Lazar | |
| 2015-09-18 | Simplify exceptions returned by PythonSession.run | Timotej Lazar | |
| Don't include the first stack entry or the filename (which is <string>). | |||
| 2015-09-16 | Implement async. comm. with Python interpreter | Timotej Lazar | |
| Creating, destroying and communicationg with the interpreter subprocess is now handled by a thread attached to PythonSession. Interpreter is sandboxed using libseccomp. | |||
| 2015-09-15 | Add handlers for python_{push,pull} requests | Timotej Lazar | |
| Will be reimplemented asynchronously. | |||
| 2015-09-15 | Bugfix: invert the packet length comparison in the TCP packet decode loop. | Aleš Smodiš | |
| 2015-09-15 | Removed WSGI parts. They've been supplanted with the node app and the TCP ↵ | Aleš Smodiš | |
| communication with the node app. | |||
| 2015-09-15 | Augmented the readme with apache directives for proxying websocket directives. | Aleš Smodiš | |
| 2015-09-14 | Add SID to JSON object in UserSession.send | Timotej Lazar | |
| 2015-09-14 | Reimplemented communication with the client side. | Aleš Smodiš | |
| * Implemented a node web server supporting asynchronous websocket and long-polling communication with clients. * Implemented TCP communication between python middleware and node web server. | |||
| 2015-09-11 | Pass a list of solved problems to Prolog hint/test | Timotej Lazar | |
| This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately. | |||
| 2015-09-11 | Pass PythonSession.run to hint and test functions | Timotej Lazar | |
| No other session stuff is needed (for now). | |||
| 2015-09-11 | Use Hint classes in PythonSession | Timotej Lazar | |
| 2015-09-11 | s/hint_defs/hint_type/g | Timotej Lazar | |
| 2015-09-10 | Remove unneeded import | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |