rev 11508 : [mq]: 8157240
*** 554,563 **** --- 554,565 ---- } // Create a GC worker and install into GCTaskManager GCTaskThread* install_worker(uint worker_id); // Add GC workers as needed. void add_workers(bool initializing); + // Return the thread name of a worker + char *worker_name(uint which); }; // // Some exemplary GCTasks. //