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