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