diff --git a/tests/check_pm_dist_cdo.sh.in b/tests/check_pm_dist_cdo.sh.in index 2472f2206542481ae636e27de723686bff3e4ed0..0214e2710e833336608f2af3bc3acf3de7216d94 100644 --- a/tests/check_pm_dist_cdo.sh.in +++ b/tests/check_pm_dist_cdo.sh.in @@ -97,8 +97,7 @@ export MSTRO_POOL_MANAGER_INFO wait %1 || exit 99 wait %2 || exit 99 -wait %3 || exit 99 -wait %4 || exit 99 + # trap normal script termination: close pipe to pool manager terminate ${PM_PID} 0