summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-30Add RobotSessionTimotej Lazar
Currently it does nothing useful.
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 ↵Robert Zorko
saved, since it is the only one already in the database
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 ↵Robert Zorko
those settings - currently only gui language is implemented. The create.sql script is updated for that change as well.
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
* Implemented ordering of problem groups and problems. * Added hint types based on hint definitions from common.py files.
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 ↵Aleš Smodiš
running the whole shebang.
2015-09-24Update JSON build script: include problem name translations with language ↵Aleš Smodiš
index data.
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš
2015-09-23Kill Python interpreter on excessive outputTimotej Lazar
2015-09-23Only show ^C on interrupt if user code is runningTimotej Lazar
2015-09-23Allow syscalls needed for help() in Python sandboxTimotej Lazar
2015-09-22Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-22Added basic handling of exception to util.pyMartin
2015-09-22Add Node.subtrees and Node.leaves functionsTimotej Lazar
2015-09-22Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-22Fix an inconsequential typoTimotej Lazar
2015-09-22Oops, overzealous copy/pasteTimotej Lazar
2015-09-22Create the hint-list in individual test functionsTimotej Lazar
This will allow us to add more hints, for example "did you know?"-type information when the program is correct.
2015-09-22Add support for execing the user's Python programTimotej Lazar
2015-09-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-21Changed testing in util.pyMartin
Changed output when timeout occurs in Python
2015-09-18Set problems path via CODEQ_PROBLEMS environment variable.Aleš Smodiš
2015-09-18added a parameter to the get problems python function, which accepts the ↵Robert Zorko
language (either 'prolog' or 'python')
2015-09-18Send the plan definition in get_problem_dataTimotej Lazar
2015-09-18Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-18Added functions to util.py.Martin
2015-09-18Simplify exceptions returned by PythonSession.runTimotej Lazar
Don't include the first stack entry or the filename (which is <string>).
2015-09-17Replace prolog.engine.ask_all with check_answersTimotej Lazar
When testing a program we can stop searching for new solutions after we have received a wrong one.
2015-09-16Update readmeTimotej Lazar
2015-09-16Implement async. comm. with Python interpreterTimotej 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-15Add handlers for python_{push,pull} requestsTimotej Lazar
Will be reimplemented asynchronously.
2015-09-15Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverAleš Smodiš
2015-09-15Bugfix: invert the packet length comparison in the TCP packet decode loop.Aleš Smodiš
2015-09-15Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-15Added utility functions to util.pyMartin
2015-09-15Removed WSGI parts. They've been supplanted with the node app and the TCP ↵Aleš Smodiš
communication with the node app.
2015-09-15Augmented the readme with apache directives for proxying websocket directives.Aleš Smodiš
2015-09-14Fix two bugs in chunk-parsing code in main.jsTimotej Lazar
Invert a comparison and initialize receivedLength to 0 after emptying receiveBuffer.
2015-09-14Add SID to JSON object in UserSession.sendTimotej Lazar
2015-09-14Correct proxy path in readmeTimotej Lazar
2015-09-14Reimplemented 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-14Script for adding problems to DB, update readmeTimotej Lazar
2015-09-11Pass a list of solved problems to Prolog hint/testTimotej 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-11Pass PythonSession.run to hint and test functionsTimotej Lazar
No other session stuff is needed (for now).