RELOAD-192

Fix for the server crash when deleting workspace directory.