Fix _get_pids_by_name for Mac OS X. Here we have a ps binary that can return a time string of the form HH:MM.SS instead of the expected HH:MM:SS used everywhere else.
Fix _get_pids_by_name for Mac OS X. Here we have a ps binary
that can return a time string of the form HH:MM.SS instead of
the expected HH:MM:SS used everywhere else.