[PATCH 2/5] server: Forbid deleting files with an open mapping.