paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-04 14:03:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

server_events_dispatch: Fix Prettier formatting.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2021-03-23 14:17:08 -07:00
parent 965a71a332
commit fb688e8e5d
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
static/js/server_events_dispatch.js
View File

@@ -340,16 +340,16 @@ export function dispatch_normal_event(event) {
case "realm_user": case "realm_user":
switch (event.op) { switch (event.op) {
case "add": case "add":
people.add_active_user(event.person); people.add_active_user(event.person);
break; break;
case "remove": case "remove":
people.deactivate(event.person); people.deactivate(event.person);
stream_events.remove_deactivated_user_from_all_streams(event.person.user_id); stream_events.remove_deactivated_user_from_all_streams(event.person.user_id);
break; break;
case "update": case "update":
user_events.update_person(event.person); user_events.update_person(event.person);
break; break;
} }
break; break;