(*
||M|| This file is part of HELM, an Hypertextual, Electronic
||A|| Library of Mathematics, developed at the Computer Science
||T|| Department, University of Bologna, Italy.
||I||
||T|| HELM is free software; you can redistribute it and/or
||A|| modify it under the terms of the GNU General Public License
\ / version 2 or (at your option) any later version.
\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
module KL = List
module KP = Printf
module KR = Random
module KT = String
type request = (string * string) list * string
(* internals *)
let opt_map = function
| opt, "" -> opt
| opt, arg -> KP.sprintf "%s=%s" opt arg
let get_random () =
KP.sprintf "%08X" (KR.bits ())
(* interface *)
let open_out enc len =
KP.printf "%s %u\n" enc len
let close_out () =
KP.printf "\x04"
let loop_in context handler eot st =
let read () = KT.trim (read_line ()) in
let rec aux st =
let opt = read () in
let arg = read () in
match opt with
| "control-stop" -> st
| "control-random" -> aux st
| "control-context" -> aux (context st)
| "control-eot" -> aux (eot st)
| _ ->
let st = handler opt arg st in
aux st
in
aux st
let string_of_request cx (opts, fi) =
let str =
if opts = [] then "" else
let opts = ("control-random", get_random ()) :: opts in
let str = KT.concat "&" (KL.map opt_map opts) in
KP.sprintf "/%s?%s" cx str
in
KP.sprintf "%s#%s" str fi
let control_input form =
KP.printf ""
form "control-random" (get_random ())
let open_out_html author description title css icon =
open_out "application/xhtml+xml" 0;
KP.printf "\n";
KP.printf "\n";
KP.printf "\n";
KP.printf "\n";
KP.printf " \n";
KP.printf " \n";
KP.printf " \n";
KP.printf " \n";
KP.printf " \n";
KP.printf " \n";
KP.printf " \n" author;
KP.printf " \n" description;
KP.printf " %s" title;
KP.printf " \n" css;
KP.printf " \n" icon;
KP.printf "\n";
KP.printf "\n"
let close_out_html () =
KP.printf "\n";
KP.printf "\n";
close_out ()