From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 23 Feb 2004 18:01:11 +0000 (+0000)
Subject: "add_server?position=0" no longer worked (raised an assertion failure)
X-Git-Tag: v0_0_4~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=902fa65340811cb467f9b929a1926445414ec336;p=helm.git

"add_server?position=0" no longer worked (raised an assertion failure)
---

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;