twh_eastasia/virtual-dsm
1
0
Fork 0
mirror of https://github.com/vdsm/virtual-dsm.git synced 2025-06-07 17:07:58 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Shellcheck

Browse Source
This commit is contained in:
Kroese 2023-04-21 06:42:19 +02:00 committed by GitHub
parent f8d923ce25
commit c8b80bf49c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
run/server.sh
View File

@ -5,10 +5,10 @@ trap exit SIGINT SIGTERM
# Close any previous instances
script_name=${BASH_SOURCE[0]}
for pid in $(pidof -x $script_name); do
if [ $pid != $$ ]; then
kill -15 $pid 2> /dev/null
wait $pid 2> /dev/null
for pid in $(pidof -x "$script_name"); do
if [ "$pid" != $$ ]; then
kill -15 "$pid" 2> /dev/null
wait "$pid" 2> /dev/null
fi
done