337 |
(*CommonComplexOptions.file_completed*) |
(*CommonComplexOptions.file_completed*) |
338 |
file_completed (as_file file); |
file_completed (as_file file); |
339 |
(* Remove the swarmer for this file as it is not useful anymore... *) |
(* Remove the swarmer for this file as it is not useful anymore... *) |
340 |
|
Int64Swarmer.remove_swarmer file.file_swarmer; |
341 |
file.file_swarmer <- None; |
file.file_swarmer <- None; |
342 |
(* At this point, the file state is FileDownloaded. We should not remove |
(* At this point, the file state is FileDownloaded. We should not remove |
343 |
the file, because we continue to upload. *) |
the file, because we continue to upload. *) |