如果服务器上有一个文件你正在下载，有人不小心删除了，会发生什么？