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 "0"
  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