1. Go to http://www.html5rocks.com/en/tutorials/workers/basics/ 2. Stop doWorker.js 3. Look at the list of dedicated workers. Result: The worker is still there. Expected: It should be removed from the list.
Created attachment 127588 [details] Patch
Committed r108212: <http://trac.webkit.org/changeset/108212>