From 31b1f0791a0c1a6336f9e44960a3cf855a9f9697 Mon Sep 17 00:00:00 2001 From: deajan Date: Thu, 8 Dec 2016 10:58:59 +0100 Subject: [PATCH] Added comment --- dev/ofunctions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/ofunctions.sh b/dev/ofunctions.sh index 0926a4d..ce30e18 100644 --- a/dev/ofunctions.sh +++ b/dev/ofunctions.sh @@ -288,7 +288,7 @@ function KillChilds { local pid="${1}" # Parent pid to kill childs local self="${2:-false}" # Should parent be killed too ? - + # Warning: pgrep does not exist in cygwin, have this checked in CheckEnvironment if children="$(pgrep -P "$pid")"; then for child in $children; do Logger "Launching KillChilds \"$child\" true" "DEBUG" #__WITH_PARANOIA_DEBUG