]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/ocaml-http/examples/damned_recursion.ml
ocaml 3.09 transition
[helm.git] / helm / DEVEL / ocaml-http / examples / damned_recursion.ml
1
2 (*
3   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
4
5   Copyright (C) <2002-2004> Stefano Zacchiroli <zack@cs.unibo.it>
6
7   This program is free software; you can redistribute it and/or modify
8   it under the terms of the GNU General Public License as published by
9   the Free Software Foundation; either version 2 of the License, or
10   (at your option) any later version.
11
12   This program is distributed in the hope that it will be useful,
13   but WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15   GNU General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with this program; if not, write to the Free Software
19   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20 *)
21
22 open Printf
23 open Http_types
24
25 let port = 9999
26
27 let callback (req: Http_types.request) outchan =
28   let i = int_of_string (req#param "x") in
29   let body =
30     match i with
31     | 0 -> "0"
32     | x when x > 0 ->
33         let data =
34           Http_user_agent.get (sprintf "http://127.0.0.1:%d/foo?x=%d"
35                                  port (x - 1))
36         in
37         sprintf "%s %d" data x
38     | _ -> assert false
39   in
40   Http_daemon.respond ~code:(`Code 200) ~body outchan;
41   close_out outchan  (* Http_user_agent relies on EOF, not Content-Length *)
42
43 let spec =
44   { Http_daemon.default_spec with
45       callback = callback;
46       port = port;
47       mode = `Thread;
48   }
49
50 let _ = Http_daemon.main spec
51