From 871e7ca1bbffe431ed6c59894cf5c9d6a00af046 Mon Sep 17 00:00:00 2001
From: Patrick Van der Veken <github@kudos.be>
Date: Tue, 15 Sep 2015 12:35:25 +0200
Subject: [PATCH] small fix in wait_for_children()

# @(#) 2015-09-15: small fix in wait_for_children() (VRF 1.3.2) [Patrick
Van der Veken]
---
 manage_ssh.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/manage_ssh.sh b/manage_ssh.sh
index ca8630b..5856b38 100644
--- a/manage_ssh.sh
+++ b/manage_ssh.sh
@@ -48,6 +48,7 @@
 # @(#) 2015-09-09: better handling of leading log sigils in die(), log(), logc()
 # @(#)             and warn(), fix in count_fields(), failure in local update
 # @(#)             should be die() (VRF 1.3.1) [Patrick Van der Veken]
+# @(#) 2015-09-15: small fix in wait_for_children() (VRF 1.3.2) [Patrick Van der Veken]
 # -----------------------------------------------------------------------------
 # DO NOT CHANGE THIS FILE UNLESS YOU KNOW WHAT YOU ARE DOING!
 #******************************************************************************
@@ -61,7 +62,7 @@
 # or LOCAL_CONFIG_FILE instead
 
 # define the V.R.F (version/release/fix)
-MY_VRF="1.3.1"
+MY_VRF="1.3.2"
 # name of the global configuration file (script)
 GLOBAL_CONFIG_FILE="manage_ssh.conf"
 # name of the local configuration file (script)
@@ -997,7 +998,7 @@ do
             RC=$?
             if (( ${RC} ))
             then
-                log "child process ${PID} exited [RC=${RC}]"
+                warn "child process ${PID} exited [RC=${RC}]"
                 WAIT_ERRORS=$(( WAIT_ERRORS + 1 ))
             else
                 log "child process ${PID} exited [RC=${RC}]"