diff --git a/src/tests/mpi_test.sh b/src/tests/mpi_test.sh index 1cde01784..20d4fba76 100755 --- a/src/tests/mpi_test.sh +++ b/src/tests/mpi_test.sh @@ -33,6 +33,6 @@ $mpi_cmd -n $n_client $extra_cmd $test_exe $test_args ret="$?" # and shutdown the SERVER before exiting echo "Close server" -echo "$mpi_cmd -n 1 $extra_cmd ./close_server" -$mpi_cmd -n 1 $extra_cmd ./close_server +echo "$mpi_cmd -n $n_servers $extra_cmd ./close_server" +$mpi_cmd -n $n_servers $extra_cmd ./close_server exit $ret