From 064d78fc511747409cde9742cf0de6ca53dffbbc Mon Sep 17 00:00:00 2001 From: Simone Esposito Date: Fri, 14 Jun 2024 16:30:47 +0200 Subject: [PATCH] Removed script. --- port.sh | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 port.sh diff --git a/port.sh b/port.sh deleted file mode 100755 index 5408e09c..00000000 --- a/port.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -# Verifica se l'utente ha fornito un numero di porta -if [ -z "$1" ]; then - echo "Uso: $0 " - exit 1 -fi - -PORT=$1 - -# Trova il PID dei processi che utilizzano la porta -PIDS=$(lsof -t -i :$PORT) - -# Termina i processi -if [ -n "$PIDS" ]; then - echo "Terminazione dei processi sulla porta $PORT..." - kill -9 $PIDS - echo "Porta $PORT liberata." -else - echo "Nessun processo trovato sulla porta $PORT." -fi \ No newline at end of file