paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-13 18:36:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add event for bot default_all_public_streams changes

Browse Source 
(imported from commit f189fb6692cb8c833cc2a1951ad8a4695cc4c27f)
This commit is contained in:
Jason Michalski
2014-02-26 15:15:31 -05:00
parent 3772344e2d
commit b5ca2631e6
2 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
zerver/lib/actions.py
View File

@@ -1393,6 +1393,12 @@ def do_change_default_all_public_streams(user_profile, value, log=True):
log_event({'type': 'user_change_default_all_public_streams',
'user': user_profile.email,
'value': str(value)})
if user_profile.is_bot:
send_event(dict(type='realm_bot',
op='update',
bot=dict(email=user_profile.email,
default_all_public_streams=user_profile.default_all_public_streams,)),
bot_owner_userids(user_profile))
def do_change_is_admin(user_profile, is_admin):
if is_admin: