This patch avoids the error message and causes the deleted directory to disappear from the browser.
Log in to post a comment.
