730291feab
The write lock was not freed on release, causing a slow memory leak. This was noticed by running extractloop.bash for 10 hours.