codeq-server.git - CodeQ server

Age	Commit message (Expand)	Author
2015-10-12	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Marko Pušnik
2015-10-12	get basic user statistics	Marko Pušnik
2015-10-12	Add the express web framework to the node server.	Aleš Smodiš
2015-10-08	Reworked session handling.	Aleš Smodiš
2015-10-07	Bugfix: make the as yet unimplemented meta protocol not generate errors on th...	Aleš Smodiš
2015-10-06	sign up, update last_login	Marko Pušnik
2015-10-06	change password	Marko Pušnik
2015-10-05	Bind the node server to the localhost interface.	Aleš Smodiš
2015-10-05	Add logging to file to python server. Configure logfile paths from environmen...	Aleš Smodiš
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 end_p...	Aleš Smodiš
2015-10-04	Improved exception tolerance, added logging to a file, removed old code, simp...	Aleš Smodiš
2015-09-29	added support to save settings, currently only 'lang' will actually be saved,...	Robert Zorko
2015-09-22	Add support for execing the user's Python program	Timotej Lazar
2015-09-16	Implement async. comm. with Python interpreter	Timotej Lazar
2015-09-15	Add handlers for python_{push,pull} requests	Timotej Lazar
2015-09-15	Augmented the readme with apache directives for proxying websocket directives.	Aleš Smodiš
2015-09-14	Fix two bugs in chunk-parsing code in main.js	Timotej Lazar
2015-09-14	Reimplemented communication with the client side.	Aleš Smodiš