[Webkit-unassigned] [Bug 114506] [=?UTF-8?Q?=E1=BA=81ebkitpy?=] Executive.cpu_count() ignores $NUMBER_OF_PROCESSORS

[bugzilla-daemon at webkit.org]

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


Manuel Rego Casasnovas <rego at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #198023|                            |review?, commit-queue?
               Flag|                            |




--- Comment #3 from Manuel Rego Casasnovas <rego at igalia.com>  2013-04-14 22:40:11 PST ---
Created an attachment (id=198023)
 --> (https://bugs.webkit.org/attachment.cgi?id=198023&action=review)
Patch

os.environ.get() returns None, but None has type NoneType and if you use it in int() it raises a TypeError exception instead of a ValueError. So, I've kept the if checking that the environment variable is defined and then I've added ValueError in the catch clause.

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