Erik Johnston cdf3f4bdcb Spell domain correctly vor 8 Jahren
..
api cdf3f4bdcb Spell domain correctly vor 8 Jahren
app 71df327190 Actually start the pusher daemon vor 8 Jahren
appservice 7e2f971c08 Remove some unused functions (#711) vor 8 Jahren
config 52ecbc2843 Make pyjwt dependency optional vor 8 Jahren
crypto 2e2be463f8 Make key client send a Host header vor 8 Jahren
events 76503f95ed Remove the is_new_state argument to persist event. vor 8 Jahren
federation 9c272da05f Add an openidish mechanism for proving to third parties that you own a given user_id vor 8 Jahren
handlers cdf3f4bdcb Spell domain correctly vor 8 Jahren
http 351b50a887 Fix more typos in per-request metrics vor 8 Jahren
metrics 6c28ac260c copyrights vor 8 Jahren
push a3ac837599 Optionally split out the pushers into a separate process vor 8 Jahren
replication 8d7ad44331 Report per request metrics for all of the things using request_handler vor 8 Jahren
rest 573ef3f1c9 Rename openid/token to openid/request_token vor 8 Jahren
static 0b31223c7a Updates to fallback CAS login to do new token login vor 8 Jahren
storage cdf3f4bdcb Spell domain correctly vor 8 Jahren
streams ddf9e7b302 Hook up the push rules to the notifier vor 8 Jahren
util 72e2fafa20 Add a metrics listener and a ssh listener to the pusher vor 8 Jahren
__init__.py e7aaa7c61e Bump version and changelog vor 8 Jahren
notifier.py 2a37467fa1 Use google style doc strings. vor 8 Jahren
python_dependencies.py 52ecbc2843 Make pyjwt dependency optional vor 8 Jahren
server.py a3ac837599 Optionally split out the pushers into a separate process vor 8 Jahren
state.py 5bbc321588 Always use state cache entry if it exists vor 8 Jahren
types.py cdf3f4bdcb Spell domain correctly vor 8 Jahren