30 |
int_option 6882 |
int_option 6882 |
31 |
|
|
32 |
(* Generate client_uid *) |
(* Generate client_uid *) |
33 |
|
(* current_version could be "2.6.6.CVS" (why send the dots?) |
34 |
|
perhaps of use: Autoconf.major_version Autoconf.minor_version Autoconf.sub_version |
35 |
|
*) |
36 |
let generate_client_uid = |
let generate_client_uid = |
37 |
let client_uid_from_version = "-ML" ^ Autoconf.current_version ^ "-" in |
let client_uid_from_version = "-ML" ^ Autoconf.current_version ^ "-" in |
38 |
let client_uid_random_tail = String.create (20 - (String.length client_uid_from_version)) in |
let client_uid_random_tail = String.create (20 - (String.length client_uid_from_version)) in |