+ local PID_DUMP="$(mktemp "$TMP/zz_pidlist.XXXXXX")"
+ local PIDS_SOUGHT=()
+ local patterns=($*)
+ if [ "$OS" == "Windows_NT" ]; then
+ # needs to be a windows format filename for 'type' to work.
+ local tmppid=c:\\tmp_pids.txt
+ # we have abandoned all hope of relying on ps on windows. instead
+ # we use wmic to get full command lines for processes.
+ # this does not exist on windows home edition. we are hosed if that's
+ # what they insist on testing on.
+ wmic /locale:ms_409 PROCESS get processid,commandline </dev/null >"$tmppid"
+ local flag='/c'
+ if [ ! -z "$(uname -a | grep "^MING" )" ]; then
+ flag='//c'
+ fi
+ # we 'type' the file to get rid of the unicode result from wmic.
+ cmd $flag type "$tmppid" >$PID_DUMP
+ \rm "$tmppid"
+ local appropriate_pattern='s/^.* *\([0-9][0-9]*\) *$/\1/p'
+ for i in "${patterns[@]}"; do
+ PIDS_SOUGHT+=$(cat $PID_DUMP \
+ | grep -i "$i" \
+ | sed -n -e "$appropriate_pattern")
+ if [ ${#PIDS_SOUGHT[*]} -ne 0 ]; then
+ # we want to bail as soon as we get matches, because on the same
+ # platform, the same set of patterns should work to find all
+ # occurrences of the genesis java.
+ break;
+ fi
+ done
+ else
+ /bin/ps $extra_flags wuax >$PID_DUMP