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