]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/ocaml-http/examples/damned_recursion.ml
first moogle template checkin
[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> 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 Http_types;;
23 open Printf;;
24
25 let wget addr port path =
26   let rec wget' inchan buf =
27     Buffer.add_string buf (input_line inchan ^ "\n");
28     wget' inchan buf
29   in
30   prerr_endline (sprintf "DEBUG: wgetting url '%s:%d%s'" addr port path);
31   let sockaddr = Unix.ADDR_INET (Unix.inet_addr_of_string addr, port) in
32   let suck = Unix.socket Unix.PF_INET Unix.SOCK_STREAM 0 in
33   Unix.connect suck sockaddr;
34   let outchan = Unix.out_channel_of_descr suck in
35   output_string outchan (sprintf "GET %s HTTP/1.0\r\n\r\n" path);
36   flush outchan;
37   let inchan = Unix.in_channel_of_descr suck in
38   let buf = Buffer.create 1023 in
39   try
40     wget' inchan buf
41   with End_of_file -> Buffer.contents buf
42 in
43 let callback (req: request) outchan =
44   let i = int_of_string (req#param "x") in
45   prerr_endline (string_of_int i);
46   match i with
47   | 0 -> output_string outchan "1"
48   | x when x>0 ->
49       let data =
50         wget "127.0.0.1" 9999 (sprintf "/foo?x=%d" (x-1))
51 (*         wget "127.0.0.1" 80 "/index.html" *)
52       in
53       output_string outchan (sprintf "%s %d" data x)
54   | _ -> assert false
55 in
56 let mode = `Thread in
57 Http_daemon.start' ~port:9999 ~mode callback
58