From fb688e8e5d648c5635abb1347ce64881f5076f0c Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Tue, 23 Mar 2021 14:17:08 -0700 Subject: [PATCH] server_events_dispatch: Fix Prettier formatting. Signed-off-by: Anders Kaseorg --- static/js/server_events_dispatch.js | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/static/js/server_events_dispatch.js b/static/js/server_events_dispatch.js index 3fe81f607a..924becaa84 100644 --- a/static/js/server_events_dispatch.js +++ b/static/js/server_events_dispatch.js @@ -340,16 +340,16 @@ export function dispatch_normal_event(event) { case "realm_user": switch (event.op) { - case "add": - people.add_active_user(event.person); - break; - case "remove": - people.deactivate(event.person); - stream_events.remove_deactivated_user_from_all_streams(event.person.user_id); - break; - case "update": - user_events.update_person(event.person); - break; + case "add": + people.add_active_user(event.person); + break; + case "remove": + people.deactivate(event.person); + stream_events.remove_deactivated_user_from_all_streams(event.person.user_id); + break; + case "update": + user_events.update_person(event.person); + break; } break;