477 |
network.op_network_share <- (fun fullname codedname size -> ()); |
network.op_network_share <- (fun fullname codedname size -> ()); |
478 |
(* Same with Network.search and Network.forget_search... *) |
(* Same with Network.search and Network.forget_search... *) |
479 |
network.op_network_search <- (fun ss buf -> ()); |
network.op_network_search <- (fun ss buf -> ()); |
480 |
|
network.op_network_download <- (fun r -> dummy_file); |
481 |
file_ops.op_file_commit <- (fun file new_name -> ()); |
file_ops.op_file_commit <- (fun file new_name -> ()); |
482 |
network.op_network_forget_search <- (fun s -> ()); |
network.op_network_forget_search <- (fun s -> ()); |
483 |
(* and Network.recover_temp *) |
(* and Network.recover_temp *) |