rev 11509 : [mq]: code_review1
@@ -53,10 +53,12 @@ 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; } }