[Webkit-unassigned] [Bug 22727] New: Consider implementing "kill a worker" algorithm for politely closing Workers

[bugzilla-daemon at webkit.org]

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

           Summary: Consider implementing "kill a worker" algorithm for
                    politely closing Workers
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: Enhancement
          Priority: P2
         Component: HTML DOM
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: ap at webkit.org


The Web Workers draft spec has a mechanism for politely closing Workers,
sending them an onclose event to clean up. It doesn't say when it is invoked,
though presumably that's each time a Worker object is destroyed, except for
those already terminated explicitly.

Being able to clean up after execution seems useful, we should consider
implementing this.


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