[Webkit-unassigned] [Bug 63624] New: [webkitpy] Executive.running_pids() sometimes doesn't correctly process "ps" output

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=63624

           Summary: [webkitpy] Executive.running_pids() sometimes doesn't
                    correctly process "ps" output
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: pnormand at igalia.com


$ ps -eo pid,comm
  PID COMMAND
    1 init
 1985 dbus-daemon
 2128 dbus-daemon
 2733 rsyslogd
19049 dbus-daemon
19128 dbus-daemon

^ See the leading white space? For those lines the pid won't be added to the list because:


>>> " 1985 dbus-daemon".split(' ', 1)
['', '1985 dbus-daemon']

So line 308 of executive.py will raise a ValueError because pid="".

I'll work on a patch for this issue.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.