From da7c3374765ac29836e55d2020c826269636ea58 Mon Sep 17 00:00:00 2001
From: Carmelo Pellegrino <carmelo.pellegrino@gmail.com>
Date: Wed, 20 May 2015 11:51:29 +0200
Subject: [PATCH] pid moved to local scope
---
patch-control.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/patch-control.sh b/patch-control.sh
index 195b8b8..7983699 100644
--- a/patch-control.sh
+++ b/patch-control.sh
@@ -29,9 +29,12 @@ function on_exit() {
rm_lock
fi
+ local pid
+
for pid in ${PROCS[*]}; do
kill -9 ${pid}
done
+ unset pid
}
function createList() {
--
GitLab