X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_daemon.mli;h=c9c8deb535f4f36c372756dca87e1ea6c303229f;hb=d4993a3584bd83a87f642e8766eb86c0a24b682b;hp=96d10d638da732d0ba7393023cdfcd307d519d67;hpb=9a072f192471daeca8cb409e991f0073b1d4271f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_daemon.mli b/helm/DEVEL/ocaml-http/http_daemon.mli
index 96d10d638..c9c8deb53 100644
--- a/helm/DEVEL/ocaml-http/http_daemon.mli
+++ b/helm/DEVEL/ocaml-http/http_daemon.mli
@@ -69,7 +69,7 @@ val respond_forbidden:
   (** send a "redirection" class response, optional body argument contains data
   that will be displayed in the body of the response, default response status is
   302 (moved permanently), only redirection status are accepted by this
-  function, other values will @raise Failure *)
+  function, other values will raise Failure *)
 val respond_redirect:
   location:string -> ?body:string ->
   ?version: Http_types.version ->
@@ -80,7 +80,7 @@ val respond_redirect:
   (** send an "error" response (i.e. 400 <= status < 600), optional body
   argument as per send_redirect, default response status is 400 (bad request),
   only error status are accepted by this function, other values will
-  @raise Failure *)
+  raise Failure *)
 val respond_error:
   ?body:string ->
   ?version: Http_types.version ->
@@ -125,15 +125,6 @@ val start':
   (Http_types.request -> out_channel -> unit) ->
     unit
 
-(*
-  (** OO interface to HTTP daemons *)
-class daemon:
-  ?addr: string -> ?port: int ->
-  ?timeout: int option -> ?mode: Http_types.daemon_mode ->?root:; string -> 
-  (Http_types.request -> out_channel -> unit) ->
-    Http_types.daemon
-*)
-
   (** Trivial static pages HTTP daemon *)
 module Trivial :
   sig
@@ -141,3 +132,5 @@ module Trivial :
     val start : ?addr:string -> ?port:int -> unit -> unit
   end
 
+class daemon: ?addr: string -> ?port: int -> unit -> Http_types.daemon
+