rev 11508 : [mq]: 8157240
@@ -554,10 +554,12 @@ } // 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. //