summaryrefslogtreecommitdiff
path: root/daemon.py
AgeCommit message (Collapse)Author
2016-10-20Disable debug loggingTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-10-07Use 'forkserver' method for multiprocessingTimotej Lazar
Weird things happen when forking multithreaded programs without this.
2015-10-06Kill all the zombiesTimotej Lazar
2015-10-05Add logging to file to python server. Configure logfile paths from ↵Aleš Smodiš
environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG.
2015-10-04Unification 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-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-08-24Split the development into daemon and wsgi_server.Aleš Smodiš
Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.