2 * Copyright (C) 2003, HELM Team.
4 * This file is part of HELM, an Hypertextual, Electronic
5 * Library of Mathematics, developed at the Computer Science
6 * Department, University of Bologna, Italy.
8 * HELM is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License
10 * as published by the Free Software Foundation; either version 2
11 * of the License, or (at your option) any later version.
13 * HELM is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with HELM; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
23 * For details, see the HELM World-Wide-Web page,
24 * http://cs.unibo.it/helm/.
27 open Http_getter_types;;
29 val string_of_ls_flag: http_getter_ls_flag -> string
30 val string_of_encoding: http_getter_encoding -> string
32 val is_xml_uri: string -> bool
33 val is_rdf_uri: string -> bool
34 val is_xsl_uri: string -> bool
36 val http_getter_uri_of_string: string -> http_getter_uri
38 val patch_xml : string -> string
39 val patch_xsl : string -> string
40 val patch_dtd : string -> string
42 val return_html_error: string -> out_channel -> unit
43 val return_html_internal_error: string -> out_channel -> unit
44 val return_html_msg: string -> out_channel -> unit
45 val return_xml_msg: string -> out_channel -> unit
46 (** return a bad request http response *)
47 val return_400: string -> out_channel -> unit
49 @param fname name of the file to be sent
50 @param contype Content-Type header value
51 @param contenc Content-Enconding header value
52 @param patch_fun function used to patch file contents
53 @param outchan output channel over which sent file fname *)
56 ?contype:string -> ?contenc:string -> ?patch_fun:(string -> string) ->