86 |
let client_keyinfo = define_option directconnect_section |
let client_keyinfo = define_option directconnect_section |
87 |
["client_keyinfo"] "The key info sent in the handshake message" |
["client_keyinfo"] "The key info sent in the handshake message" |
88 |
string_option "Pk=mldc" |
string_option "Pk=mldc" |
89 |
|
|
90 |
|
let options_version = define_option directconnect_section ["options_version"] |
91 |
|
"(internal option)" |
92 |
|
int_option 0 |
93 |
|
|
94 |
let shortname o = |
let shortname o = |
95 |
Printf.sprintf "DC-%s" (shortname o) |
Printf.sprintf "DC-%s" (shortname o) |
112 |
("Client Speed", shortname client_speed, "T"); |
("Client Speed", shortname client_speed, "T"); |
113 |
("Shared Offset", shortname shared_offset, "T"); |
("Shared Offset", shortname shared_offset, "T"); |
114 |
] |
] |
|
|
|
|
let client_options_version = define_option directconnect_section |
|
|
["client_options_version"] "To automatically update your options" |
|
|
int_option 0 |
|