406 |
P.file_last_seen = BasicSocket.last_time (); |
P.file_last_seen = BasicSocket.last_time (); |
407 |
P.file_priority = file_priority (as_file file); |
P.file_priority = file_priority (as_file file); |
408 |
P.file_uids = [Uid.create (BTUrl file.file_id)]; |
P.file_uids = [Uid.create (BTUrl file.file_id)]; |
409 |
|
P.file_sub_files = file.file_files; |
410 |
} |
} |
411 |
|
|
412 |
let op_ft_info ft = |
let op_ft_info ft = |
437 |
P.file_last_seen = BasicSocket.last_time (); |
P.file_last_seen = BasicSocket.last_time (); |
438 |
P.file_priority = 0; |
P.file_priority = 0; |
439 |
P.file_uids = []; |
P.file_uids = []; |
440 |
|
P.file_sub_files = []; |
441 |
} |
} |
442 |
|
|
443 |
|
|