(match Lazy.force cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")
(String.concat "\n\t" (* (position * server) list *)
(List.map (fun (pos, server) -> sprintf "%3d: %s" pos server)
(match Lazy.force cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")
(String.concat "\n\t" (* (position * server) list *)
(List.map (fun (pos, server) -> sprintf "%3d: %s" pos server)