servers: Fix problem that deleted replicas are not immediately deleted on...

servers: Fix problem that deleted replicas are not immediately deleted on disk. This happened because the respective file was opened and the deletion was triggered after the implicit timeout of the file.