mozilla/servo — pull request #1948 by mbrubeck (2014-03-20 18:22:26+00:00)
Title: Set a name for WorkQueue tasks (fixes #1830)

This is my first Servo patch. Please don't hesitate to offer basic Rust tips.

Note: This assigns the same name to all of the worker tasks for a given WorkQueue. Would it be useful to generate a unique name for each tasks (LayoutWorker1, LayoutWorker2...)?