# HG changeset patch # User Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com> # Date 1608211686 -3600 # Node ID 5b27d21cf817c8ab965525cbaeeb5fe83f955eb4 # Parent fb47602ecf72d908a2623490f59cb457437c22d2 comment in test script diff --git a/runtests.sh b/runtests.sh --- 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