codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-10-06	Kill all the zombies	Timotej Lazar

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-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-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-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš
	Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.