90 |
let download_finished file = |
let download_finished file = |
91 |
if List.memq file !current_files then begin |
if List.memq file !current_files then begin |
92 |
file_completed (as_file file); |
file_completed (as_file file); |
93 |
|
Int64Swarmer.remove_swarmer file.file_swarmer; |
94 |
file.file_swarmer <- None; |
file.file_swarmer <- None; |
|
|
|
95 |
(* TODO: maybe this remove file may have a bad effect on sharing *) |
(* TODO: maybe this remove file may have a bad effect on sharing *) |
96 |
GnutellaGlobals.remove_file file; |
GnutellaGlobals.remove_file file; |
97 |
old_files =:= (file.file_name, file_size file) :: !!old_files; |
old_files =:= (file.file_name, file_size file) :: !!old_files; |