[Webkit-unassigned] [Bug 68026] chromium.py's KILL_TIMEOUT is too short for valgrind

[bugzilla-daemon at webkit.org]

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





--- Comment #1 from Eric Seidel <eric at webkit.org>  2011-09-13 14:29:16 PST ---
I mean, we could also add back the TOOL_WRAPPER environment if valgrind really needs it. :)

But yes, it seems like a reasonable heuristic that we could just double that value when time_out_ms is larger than default.

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