From c04e0fa21af98771b2a683988ebda3f4e5d2e567 Mon Sep 17 00:00:00 2001 From: deajan Date: Mon, 2 Jul 2018 10:20:34 +0200 Subject: [PATCH] Some comment love --- dev/ofunctions.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/dev/ofunctions.sh b/dev/ofunctions.sh index b44fcf7..5aa3167 100644 --- a/dev/ofunctions.sh +++ b/dev/ofunctions.sh @@ -11,7 +11,7 @@ _OFUNCTIONS_BUILD=2018062901 _OFUNCTIONS_BOOTSTRAP=true #### _OFUNCTIONS_BOOTSTRAP SUBSET END #### -## BEGIN Generic bash functions written in 2013-2017 by Orsiris de Jong - http://www.netpower.fr - ozy@netpower.fr +## BEGIN Generic and highly portable bash functions written in 2013-2018 by Orsiris de Jong - http://www.netpower.fr - ozy@netpower.fr ## To use in a program, define the following variables: ## PROGRAM=program-name @@ -354,7 +354,6 @@ function KillChilds { fi if kill -0 "$pid" > /dev/null 2>&1; then - #TODO: Warning: pgrep is not native on cygwin, have this checked in CheckEnvironment if children="$(pgrep -P "$pid")"; then if [[ "$pid" == *"$children"* ]]; then Logger "Bogus pgrep implementation." "CRITICAL"