Missing thread_pool dtor implemented.
Authored by: crowbar27 2015-09-14
Parent: [r726]
Child: [r728]
