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