else
# flags which clean up the process listing output on unixes.
# apparently cygwin doesn't count as a type of unix, because their
# crummy specialized ps command doesn't support normal ps flags.
local EXTRA_UNIX_FLAGS="-o pid,args"
# pattern to use for peeling off the process numbers.
else
# flags which clean up the process listing output on unixes.
# apparently cygwin doesn't count as a type of unix, because their
# crummy specialized ps command doesn't support normal ps flags.
local EXTRA_UNIX_FLAGS="-o pid,args"
# pattern to use for peeling off the process numbers.