[webkit-reviews] review requested: [Bug 23459] Workers are not properly terminated if execution hasn't begun yet : [Attachment 26924] Alternative patch

[bugzilla-daemon at webkit.org]

Alexey Proskuryakov <ap at webkit.org> has asked  for review:
Bug 23459: Workers are not properly terminated if execution hasn't begun yet
https://bugs.webkit.org/show_bug.cgi?id=23459

Attachment 26924: Alternative patch
https://bugs.webkit.org/attachment.cgi?id=26924&action=review

------- Additional Comments from Alexey Proskuryakov <ap at webkit.org>
I changed my mind - I now think it's better to go through the normal code path,
to avoid getting out of sync in the future. It's slightly less efficient, but
this use case is definitely not something to optimize for.