X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter_storage.ml;h=b1a05d9963f0b24673a56892af8ede8695fdc125;hb=c841003adea545c1bf12619906f1c61711a75deb;hp=3650d79b95f0bc9b492271a4ea35db4d64e150eb;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git

diff --git a/components/getter/http_getter_storage.ml b/components/getter/http_getter_storage.ml
index 3650d79b9..b1a05d996 100644
--- a/components/getter/http_getter_storage.ml
+++ b/components/getter/http_getter_storage.ml
@@ -295,7 +295,10 @@ let exists s =
   with Resource_not_found _ -> false
 
 let resolve ?(must_exists=true) ~writable =
-  dispatch_single 
+  (if must_exists then
+    dispatch_multi
+  else
+    dispatch_single)
     { write = writable;
       name="resolve"; 
       exists = must_exists;