update_from_server
[] (* initial logmsg: empty *)
(* reverse order: 1st server is the most important one *)
- (List.map snd (List.rev (Lazy.force Http_getter_env.servers)))
+ (List.map snd (List.rev (Http_getter_env.servers ())))
in
sync_maps ();
`Msg (`L (List.rev log))
if remote () then
list_servers_remote ()
else
- Lazy.force Http_getter_env.servers
+ Http_getter_env.servers ()
let add_server ?(position = 0) name =
if remote () then
else begin
let server_name =
try
- List.assoc position (Lazy.force Http_getter_env.servers)
+ List.assoc position (Http_getter_env.servers ())
with Not_found ->
raise (Invalid_argument (sprintf "no server with position %d" position))
in