X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2Foo_daemon.ml;h=91197e3f7c53718adf45463f78f95bf1b1608e13;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=528f2b24688e8cc08c4af5671eca9bc949f8b51b;hpb=2228717a5f41aab3b157713e40753016ad46c2ae;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/oo_daemon.ml b/helm/DEVEL/ocaml-http/examples/oo_daemon.ml
index 528f2b246..91197e3f7 100644
--- a/helm/DEVEL/ocaml-http/examples/oo_daemon.ml
+++ b/helm/DEVEL/ocaml-http/examples/oo_daemon.ml
@@ -19,26 +19,29 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-open Http_daemon;;
-open Http_response;;
+open Http_daemon
+open Http_response
 
   (* the simple way *)
-let d = new daemon ~addr:"127.0.0.1" ~port:9999 () in
-while true do
-  let (req, conn) = d#getRequest in (* wait for valid request *)
-  conn#respond_with (new response ~body:"foo\n" ());
-  conn#close
-done
+let d = new daemon ~addr:"127.0.0.1" ~port:9999 ()
+
+let _ =
+  while true do
+    let (req, conn) = d#getRequest in (* wait for valid request *)
+    conn#respond_with (new response ~body:"foo\n" ());
+    conn#close
+  done
 
 (*
-  (* the hard way *)
+  (* the hard^Wother way *)
 let d = new daemon ~addr:"127.0.0.1" ~port:9999 () in
-while true do
-  let conn = d#accept in (* wait for client connection *)
-  (match conn#getRequest with
-  | None -> ()  (* invalid request received *)
-  | Some req -> conn#respond_with (new response ~body:"foo\n" ()));
-  conn#close (* close socket *)
-done
+let _ =
+  while true do
+    let conn = d#accept in (* wait for client connection *)
+    (match conn#getRequest with
+    | None -> ()  (* invalid request received *)
+    | Some req -> conn#respond_with (new response ~body:"foo\n" ()));
+    conn#close (* close socket *)
+  done
 *)