X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_misc.mli;h=bb6a86fbb1d3de5824800930a1713e01d3894e63;hb=849001febdebe045a1309e6c2c854e421e6e476b;hp=b6e28e2bcbdc3a3782dfe5d73481dc3ff1d9906a;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_misc.mli b/helm/software/DEVEL/ocaml-http/http_misc.mli
index b6e28e2bc..bb6a86fbb 100644
--- a/helm/software/DEVEL/ocaml-http/http_misc.mli
+++ b/helm/software/DEVEL/ocaml-http/http_misc.mli
@@ -86,3 +86,9 @@ val list_assoc_all: 'a -> ('a * 'b) list -> 'b list
 val warn: string -> unit (** print a warning msg to stderr. Adds trailing \n *)
 val error: string -> unit (** print an error msg to stderr. Adds trailing \n *)
 
+  (** @param finalizer finalization function (execution both in case of success
+   * and in case of raised exception
+   * @param f function to be invoked
+   * @param arg argument to be passed to function *)
+val finally: (unit -> unit) -> ('a -> 'b) -> 'a -> 'b
+