Function thread_free

TactilityKernel/source/concurrent/thread.cpp:111–116

}

void thread_free(Thread* thread) {
    check(thread);
    check(thread->state == THREAD_STATE_STOPPED);
    check(thread->taskHandle == nullptr);
    delete thread;
}

void thread_set_name(Thread* thread, const char* name) {
    check(name != nullptr);