Skip to content
Snippets Groups Projects
Commit fcd1f62b authored by Josh Brooks's avatar Josh Brooks
Browse files

Move server kill command down

parent 5cebbe13
Branches
No related tags found
1 merge request!4Release
......@@ -72,13 +72,6 @@ while [ ! -s rid.txt ] && [ $cnt -lt 240 ]; do
echo -n "."
done
# Kill the last server
echo "KILLING SERVER 0"
echo $PID_SERVER_KILLED
kill -2 $PID_SERVER_KILLED
# Wait for node to handle kill signal
sleep 30
echo "CHECKING OUTPUT FOR ERRORS"
set +x
......@@ -102,6 +95,14 @@ if [ ! -s rid.txt ]; then
exit 42
fi
# Kill the last server
echo "KILLING SERVER 0"
echo $PID_SERVER_KILLED
kill -2 $PID_SERVER_KILLED
# Wait for node to handle kill signal
sleep 30
echo "CHECKING THAT SERVER 0 WAS KILLED PROPERLY"
cat $SERVERLOGS/server-0.log | grep "Round completed, closing!" > serverClose.txt || true
if [ -s serverClose.txt ]; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment