]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_wget.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / getter / http_getter_wget.mli
index 4c978314e5a7a5a7761ad4186cea01b85d801a8c..5d28df18563d39fee4641ae205a141f8170cff6a 100644 (file)
  * 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
+