summaryrefslogtreecommitdiff
path: root/daemon.py
AgeCommit message (Expand)Author
2015-10-06Kill all the zombiesTimotej Lazar
2015-10-05Add logging to file to python server. Configure logfile paths from environmen...Aleš Smodiš
2015-10-04Unification of language session implementations. Added load_problem and end_p...Aleš Smodiš
2015-09-14Reimplemented communication with the client side.Aleš Smodiš
2015-08-24Split the development into daemon and wsgi_server.Aleš Smodiš