Summary: | [nrwt] handle corrupt http server pid files cleanly | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Dirk Pranke <dpranke> | ||||
Component: | New Bugs | Assignee: | Dirk Pranke <dpranke> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | abarth, eric, kinuko, ojan, tony, webkit.review.bot | ||||
Priority: | P2 | Keywords: | NRWT | ||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | Unspecified | ||||||
OS: | Unspecified | ||||||
Attachments: |
|
Description
Dirk Pranke
2013-03-06 14:41:29 PST
Created attachment 191835 [details]
Patch
Comment on attachment 191835 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=191835&action=review > Tools/Scripts/webkitpy/layout_tests/servers/http_server_base.py:109 > + self._pid = actual_pid It's unfortunate this block is almost completely duplicated between here and the above code, but there's no good way to share the logic as we need to ensure that the whole stop block is wrapped in the finally that deletes the file. See https://code.google.com/p/chromium/issues/detail?id=177798 for the motivating problem. Comment on attachment 191835 [details]
Patch
Looks reasonable. Thank you.
Comment on attachment 191835 [details] Patch Clearing flags on attachment: 191835 Committed r145122: <http://trac.webkit.org/changeset/145122> All reviewed patches have been landed. Closing bug. |