test: Remove pidfile after killing the process

Though unlikely keeping files in place may result in random process
killed.

diff --git a/test/lib/aux.sh b/test/lib/aux.sh
index 4f5daaf56b42f46161270529e107a7a45d988ffd..276788054461258397c6dc3a5d4f4101e57ffe7a 100644 (file)
--- a/test/lib/aux.sh
+++ b/test/lib/aux.sh
@@ -435,6 +435,7 @@ kill_sleep_kill_() {
        slow=$2
        if test -s $pidfile ; then
                pid=$(< $pidfile)
+               rm -f $pidfile
                kill -TERM $pid 2>/dev/null || return 0
                if test $slow -eq 0 ; then sleep .1 ; else sleep 1 ; fi
                kill -KILL $pid 2>/dev/null || true