Verified Commit 8db751b9 authored by Xueshan Feng's avatar Xueshan Feng
Browse files

added kill-port.sh.

parent c42dc438
Loading
Loading
Loading
Loading

kill-port.sh

0 → 100755
+10 −0
Original line number Diff line number Diff line
#!/bin/bash -e
port=$1
if pgrep -f $1 &> /dev/null
then
    kill $(pgrep -f 8001)
    echo Killed process on port $1
else
   echo "No process on port $1."
fi
exit 0