Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Editorial: restructure ownership of workers to parent-owners #2520
Instead of each worker being owned by a document, have it instead be
This is marked editorial as it should have no normative impact.
This also removes a step that should have been removed as part of
This was referenced
Apr 11, 2017
I went ahead and renamed them them "owner set" and "worker set" anyway. I found out that if I moved them into the WorkerGlobalScope section that would not look so weird and "the worker's ports" just remains as an item for future cleanup in the lifetime section (and probably also needs some further clarification since it's not a set that's explicitly being added too at the moment, though that might be rather easy to change if we define MessagePort allocation).