| "/update" ->
Http_getter_env.reload (); (* reload servers list from servers file *)
let log = update_from_all_servers () in
| "/update" ->
Http_getter_env.reload (); (* reload servers list from servers file *)
let log = update_from_all_servers () in