Did you know ... | Search Documentation: |
Predicate mutex_destroy/1 |
existence_error
exception. As of version
7.1.19, this behaviour is reliable. If the mutex is locked, the mutex is
scheduled for delayed destruction: it will be destroyed when it
becomes unlocked.