X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_wget.mli;h=5d28df18563d39fee4641ae205a141f8170cff6a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4c978314e5a7a5a7761ad4186cea01b85d801a8c;hpb=617285cac8aabbe62699d5d7144b0df4f5771000;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_wget.mli b/helm/ocaml/getter/http_getter_wget.mli
index 4c978314e..5d28df185 100644
--- a/helm/ocaml/getter/http_getter_wget.mli
+++ b/helm/ocaml/getter/http_getter_wget.mli
@@ -23,9 +23,13 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val send: string -> unit
+  (** try to guess if an HTTP resource exists using HEAD request
+   * @return true if HEAD response code = 200 *)
+val exists: string -> bool
 
 val get: string -> string
 val get_and_save: string -> string -> unit
 val get_and_save_to_tmp: string -> string
 
+val send: string -> unit
+