295 |
3: based on separate file queues (2.02-10) |
3: based on separate file queues (2.02-10) |
296 |
" int_option 3 *) |
" int_option 3 *) |
297 |
|
|
|
let sources_per_chunk = |
|
|
define_expert_option donkey_section ["sources_per_chunk"] |
|
|
"How many sources to use to download each chunk" |
|
|
int_option 3 |
|
|
|
|
298 |
(* This option is used to avoid the delay when connecting to a server before |
(* This option is used to avoid the delay when connecting to a server before |
299 |
sending the list of shared files, which is only sent to master servers. *) |
sending the list of shared files, which is only sent to master servers. *) |
300 |
let immediate_master = |
let immediate_master = |