From dd4089ed0ecfacf3d61d9ce381dfb38411a45b64 Mon Sep 17 00:00:00 2001 From: Francesco Grazioso Date: Sat, 11 May 2024 12:11:54 +0200 Subject: [PATCH] fix messages in kill_gui.sh --- kill_gui.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kill_gui.sh b/kill_gui.sh index fcd4aff..c7fac45 100755 --- a/kill_gui.sh +++ b/kill_gui.sh @@ -19,11 +19,11 @@ PROCESSES=$(lsof -i :5173 | awk 'NR!=1 {print $2}') # Termina i processi trovati if [ -n "$PROCESSES" ]; then - echo "Terminating processes using port 8000:" + echo "Terminating processes using port 5173:" for PID in $PROCESSES; do echo "Killing process with PID: $PID" kill -9 $PID done else - echo "No processes found using port 8000" + echo "No processes found using port 5173" fi \ No newline at end of file