rev 11509 : [mq]: code_review1
*** 53,62 **** --- 53,64 ---- uint which, uint processor_id) { return new GCTaskThread(manager, which, processor_id); } public: + static const char* task_name(); + static void destroy(GCTaskThread* manager) { if (manager != NULL) { delete manager; } }