fly/flightgear
1
0
Fork 0
Code Activity

ping a client to make sure it is alive before launching a process on it.

Browse source
This commit is contained in:
curt 1999-06-11 00:25:03 +00:00
parent 3b3e09d992
commit c79bc6756a
2 changed files with 13 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
Tools/Construct/Parallel/fgfs-launch-clients
View file

@ -88,7 +88,12 @@ fi
# launch a copy of the client process on each specified machine # launch a copy of the client process on each specified machine
for i in $CLIENTS_RUDE; do for i in $CLIENTS_RUDE; do
echo "Launching client process on $i" if ping -c 1 -i 5 $i > /dev/null; then
echo "Launching client process on $i"
else
echo "client $i is currently down, skipping"
continue
fi
LOG_FILE="${LOG_DIR}/client-$i.log" LOG_FILE="${LOG_DIR}/client-$i.log"
@ -104,7 +109,12 @@ for i in $CLIENTS_RUDE; do
done done
for i in $CLIENTS_NICE; do for i in $CLIENTS_NICE; do
echo "Launching client process on $i" if ping -c 1 -i 5 $i > /dev/null; then
echo "Launching client process on $i"
else
echo "client $i is currently down, skipping"
continue
fi
LOG_FILE="${LOG_DIR}/client-$i.log" LOG_FILE="${LOG_DIR}/client-$i.log"

2
Tools/Construct/Parallel/fgfs-launch-server
View file

@ -83,4 +83,4 @@ echo $SERVER_PORT > $MASTER_ON
echo "server is now running in background:" echo "server is now running in background:"
echo " host = $SERVER_HOST" echo " host = $SERVER_HOST"
echo " pid = $SERVER_PID" echo " pid = $SERVER_PID"
echo " port = $SERVER_PORT" echo " port = $SERVER_PORT"