Server: Fix bug of deleting record file upon replaying it.