921 |
Options.save_with_help results_ini; |
Options.save_with_help results_ini; |
922 |
results =:= []; |
results =:= []; |
923 |
end; |
end; |
|
CommonGlobals.print_localtime (); |
|
924 |
lprintf_nl "Options correctly saved" |
lprintf_nl "Options correctly saved" |
925 |
|
|
926 |
let save_sources () = |
let save_sources () = |
927 |
networks_iter (fun n -> network_save_sources n); |
networks_iter (fun n -> network_save_sources n); |
|
CommonGlobals.print_localtime (); |
|
928 |
lprintf_nl "Sources correctly saved" |
lprintf_nl "Sources correctly saved" |