Workbench does not close dir "connections"
Created originally on Bitbucket by Knowlogic
On Windows 7 (Workbench v2.4.2) does not release its hold on directory when the repo is closed. If I perform actions on repos on a memory stick, and then close the repo, when I ask Windows to unmount the memory stick it says it still busy. Closing Workbench fixes this.