(*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
* Stefano Zacchiroli <zack@cs.unibo.it>
* for the HELM Team http://helm.cs.unibo.it/
*
open Http_getter_types;;
-val string_of_ls_flag: http_getter_ls_flag -> string
-val string_of_encoding: http_getter_encoding -> string
+val string_of_ls_flag: ls_flag -> string
+val string_of_encoding: encoding -> string
val is_cic_uri: string -> bool
val is_nuprl_uri: string -> bool
val is_rdf_uri: string -> bool
val is_xsl_uri: string -> bool
- (** true on blanks-only and #-commented lines, false otherwise *)
-val is_blank_line: string -> bool
-
-val http_getter_uri_of_string: string -> http_getter_uri
+val uri_of_string: string -> uri
val patch_xml : string -> string
val patch_xsl : string -> string
@param contype Content-Type header value
@param contenc Content-Enconding header value
@param patch_fun function used to patch file contents
+ @param gunzip is meaningful only if a patch function is provided. If gunzip
+ is true patch_fun is applied to the uncompressed version of the file. The file
+ is then compressed again and send to client
@param outchan output channel over which sent file fname *)
val return_file:
fname:string ->
- ?contype:string -> ?contenc:string -> ?patch_fun:(string -> string) ->
+ ?contype:string -> ?contenc:string ->
+ ?patch_fun:(string -> string) -> ?gunzip:bool ->
out_channel ->
unit