Open
Description
From the man page for pthread_mutex_destroy...
It shall be safe to destroy an initialized mutex that is unlocked. Attempting to destroy a locked mutex results in undefined behavior.
The ecl threads Mutex class just destroys without checking inside it's destructor...