From 902fa65340811cb467f9b929a1926445414ec336 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 23 Feb 2004 18:01:11 +0000 Subject: [PATCH] "add_server?position=0" no longer worked (raised an assertion failure) --- helm/ocaml/getter/http_getter_env.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/getter/http_getter_env.ml b/helm/ocaml/getter/http_getter_env.ml index 39e83a965..623be8aef 100644 --- a/helm/ocaml/getter/http_getter_env.ml +++ b/helm/ocaml/getter/http_getter_env.ml @@ -146,6 +146,7 @@ let add_server ?position url = | hd :: tl (* when p > 1 *) -> hd :: (add_after (pos - 1) tl) in add_after p servers + | Some 0 -> (-1, url)::servers | Some _ -> assert false in _servers := Some new_servers; -- 2.39.2