Function work_pool_fini

thread/std-compat.cpp:59–67

}

int work_pool_fini() {
    if (g_work_pool == nullptr) {
        log_error("work pool is not initialized");
        return -1;
    }
    delete g_work_pool;
    g_work_pool = nullptr;
    return 0;
}

namespace this_thread {