changeset 41:5b27d21cf817

comment in test script
author Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
date Thu, 17 Dec 2020 14:28:06 +0100 (2020-12-17)
parents fb47602ecf72
children 4f7a4ee307ba
files runtests.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/runtests.sh
+++ b/runtests.sh
@@ -10,6 +10,7 @@ rm -rf "$DBPATH"
 mkdir "$DBPATH"
 mserver5 --dbpath="$DBPATH/perltestdb" >"$DBPATH/mserver5.log" 2>&1 &
 pid=$!
+# Make sure to kill it when the script ends
 trap "kill -9 $pid 2>/dev/null" EXIT