index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
server
/
handlers.py
Age
Commit message (
Expand
)
Author
2015-10-12
attributes for profile page
Marko Pušnik
2015-10-12
signup: +name +email
Marko Pušnik
2015-10-08
Reworked session handling.
Aleš Smodiš
2015-10-06
Bugfix: revert to request.session.update_settings() in the Settings class.
Aleš Smodiš
2015-10-06
sign up, update last_login
Marko Pušnik
2015-10-06
change password
Marko Pušnik
2015-10-05
Add logging to file to python server. Configure logfile paths from environmen...
Aleš Smodiš
2015-10-04
Unification of language session implementations. Added load_problem and end_p...
Aleš Smodiš
2015-09-30
Add RobotSession
Timotej Lazar
2015-09-29
removed some debug output and actually enabled writing into the DB
Robert Zorko
2015-09-29
added support to save settings, currently only 'lang' will actually be saved,...
Robert Zorko
2015-09-29
added settings to the user session and the login function now also returns th...
Robert Zorko
2015-09-22
Add support for execing the user's Python program
Timotej Lazar
2015-09-18
added a parameter to the get problems python function, which accepts the lang...
Robert Zorko
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-14
Reimplemented communication with the client side.
Aleš Smodiš
