mirror of
https://github.com/zulip/zulip.git
synced 2025-11-06 15:03:34 +00:00
mypy: Fix several Optional typing errors.
This commit is contained in:
@@ -1937,7 +1937,7 @@ def do_change_default_sending_stream(user_profile, stream, log=True):
|
||||
'stream': str(stream)})
|
||||
if user_profile.is_bot:
|
||||
if stream:
|
||||
stream_name = stream.name
|
||||
stream_name = stream.name # type: Optional[Text]
|
||||
else:
|
||||
stream_name = None
|
||||
send_event(dict(type='realm_bot',
|
||||
@@ -1960,7 +1960,7 @@ def do_change_default_events_register_stream(user_profile, stream, log=True):
|
||||
'stream': str(stream)})
|
||||
if user_profile.is_bot:
|
||||
if stream:
|
||||
stream_name = stream.name
|
||||
stream_name = stream.name # type: Optional[Text]
|
||||
else:
|
||||
stream_name = None
|
||||
send_event(dict(type='realm_bot',
|
||||
|
||||
Reference in New Issue
Block a user