Re: [PATCH] server: Fail if non-empty directory marked for deletion.