]> matita.cs.unibo.it Git - helm.git/commitdiff
"add_server?position=0" no longer worked (raised an assertion failure)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 18:01:11 +0000 (18:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 18:01:11 +0000 (18:01 +0000)
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;