From 1b0775916b78e1270872d3649a2c9abf0a1bb790 Mon Sep 17 00:00:00 2001
From: Marian Csontos <mcsontos@redhat.com>
Date: Wed, 23 Mar 2016 12:18:08 +0100
Subject: [PATCH] test: Remove pidfile after killing the process

Though unlikely keeping files in place may result in random process
killed.
---
 test/lib/aux.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/lib/aux.sh b/test/lib/aux.sh
index 4f5daaf56..276788054 100644
--- 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