Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mypy: strict-optional fixes in zerver/tornado/socket.py.

This commit is contained in:
neiljp (Neil Pilgrim) 2017-08-05 22:01:02 -07:00 committed by Greg Price
parent b7103752dc
commit d9e36c8156
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
zerver/tornado/socket.py
View File

@ -54,7 +54,7 @@ def get_user_profile(session_id):
connections = dict() # type: Dict[Union[int, str], SocketConnection]
def get_connection(id):
# type: (Union[int, str]) -> SocketConnection
# type: (Union[int, str]) -> Optional[SocketConnection]
return connections.get(id)
def register_connection(id, conn):
@ -68,6 +68,7 @@ def register_connection(id, conn):
def deregister_connection(conn):
# type: (SocketConnection) -> None
assert conn.client_id is not None
del connections[conn.client_id]
redis_client = get_redis_client()
@ -94,7 +95,7 @@ class SocketConnection(sockjs.tornado.SockJSConnection):
self.authenticated = False
self.session.user_profile = None
self.close_info = None # type: CloseErrorInfo
self.close_info = None # type: Optional[CloseErrorInfo]
self.did_close = False
try: