diff runtests.sh @ 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 c436b5131196
children b35ed8684036
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