5 Commits

Author	SHA1	Message	Date
Robert Hönig	0917493588	mypy: Convert zerver/lib to use typing.Text.	2016-12-25 10:33:45 -08:00
Eklavya Sharma	21f789eb05	zerver/lib/session_user.py: Replace Dict by Mapping.	2016-06-29 10:36:50 -07:00
Max	04e2745136	Annotate debug.py, initial_password.py, narrow.py, response.py. ... Also, fixed up the annotations for tornadoviews to better align with how narrows was defined as `Iterable[Sequence[str]]` rather than `List[Tuple[str, str]]`.	2016-06-04 12:56:36 -07:00
Max	c8dc033c3c	Annotate camo.py, mandrill_client.py, query.py, session_user.py	2016-06-04 11:28:42 -07:00
Reid Barton	9db521a931	Django 1.8 compatibility: extracting the user from a session ... django commit 596564e80808 stores the user id in the session as a string, which broke our code that extracts the user id and compares it to the id of a UserProfile object. (imported from commit 99defd7fea96553550fa19e0b2f3e91a1baac123)	2015-08-20 23:15:45 -07:00