]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_env.ml
"add_server?position=0" no longer worked (raised an assertion failure)
[helm.git] / helm / ocaml / getter / http_getter_env.ml
index 39e83a965d71197a81e7f62f3de8395530659a1a..623be8aef0c9630841ac53ca78679370b33f84a1 100644 (file)
@@ -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;