fi
if [ -z "$skip_all" ]; then
+
if [ ! -z "$SHELL_DEBUG" ]; then
echo function definitions begin...
fi
fi
}
- # checks the result of the last command that was run, and if it failed,
+ # checks the result of the last command that was run, and if that failed,
# then this complains and exits from bash. the function parameters are
# used as the message to print as a complaint.
function check_result()
# we 'type' the file to get rid of the unicode result from wmic.
cmd $flag type "$tmppid" >$PID_DUMP
\rm "$tmppid"
-# local CR='
-#' # embedded carriage return.
-# local appropriate_pattern="s/^.* *\([0-9][0-9]*\)[ $CR]*\$/\1/p"
local appropriate_pattern="s/^.* *\([0-9][0-9]*\) *\$/\1/p"
for i in "${patterns[@]}"; do
PIDS_SOUGHT+=($(cat $PID_DUMP \