[PATCH 1/1] server: Release mutexes upon their destruction.