changeset 2142:506cc134c0fe nginx_decoupled tip

fix
author Violet7
date Mon, 19 Jan 2026 20:59:31 -0800
parents c62dfd37545f
children
files host/stop_nginx.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/host/stop_nginx.sh	Mon Jan 19 20:56:48 2026 -0800
+++ b/host/stop_nginx.sh	Mon Jan 19 20:59:31 2026 -0800
@@ -8,7 +8,7 @@
 )
 
 if [ -n "$PIDS" ]; then
-	kill -QUIT $PIDS
+	sudo kill -QUIT $PIDS
 else
 	echo "No nginx master process found, not attempting to stop."
 fi