From 758aa36cbe297e0b3c87fab76ef6158bba951cef Mon Sep 17 00:00:00 2001 From: Alex Vandiver Date: Mon, 16 Sep 2024 18:08:55 +0000 Subject: [PATCH] stop-server: Stop katex, if running. --- scripts/stop-server | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/stop-server b/scripts/stop-server index 03f127758d..760437b1a9 100755 --- a/scripts/stop-server +++ b/scripts/stop-server @@ -49,6 +49,7 @@ if has_application_server(): services.append("zulip-django") services.append("zulip-tornado:*") services.append("zulip-workers:*") + services.append("zulip-katex") if has_application_server(once=True): # These used to be included in "zulip-workers:*"; we may be # stopping an older version of Zulip, which has not applied