From 7f329db4b24674692d67db1e1c93957005af1cf2 Mon Sep 17 00:00:00 2001 From: Philipp Moritz Date: Tue, 17 Jan 2017 20:15:48 -0800 Subject: [PATCH] wait until kill operation was successful (#210) --- src/plasma/test/run_tests.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plasma/test/run_tests.sh b/src/plasma/test/run_tests.sh index 451e8d05f..eb66bec78 100644 --- a/src/plasma/test/run_tests.sh +++ b/src/plasma/test/run_tests.sh @@ -32,3 +32,4 @@ kill $plasma3_pid kill $plasma2_pid kill $plasma1_pid kill $redis_pid +wait $redis_pid