From c3ed0d35a5903d16e2aa07e0aadbea64ae508ba5 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Thu, 28 Sep 2017 15:40:27 +0200
Subject: [PATCH] Scripts: wait for node termination before cleaning up
 temporary files

---
 scripts/node_lib.inc.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/node_lib.inc.sh b/scripts/node_lib.inc.sh
index 9abc666d3..7ee2b532c 100644
--- a/scripts/node_lib.inc.sh
+++ b/scripts/node_lib.inc.sh
@@ -40,5 +40,6 @@ start_sandboxed_node() {
 
 cleanup_nodes() {
     [ -z "${node_pids[0]}" ] || kill "${node_pids[@]}"
+    for pid in "${node_pids[@]}" ; do wait "$pid" ; done
     rm -rf "${node_dirs[@]}"
 }