]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/http_getter_const.ml
1d0a4f58184a82c8c999f766834771b2d7024772
[helm.git] / helm / http_getter / http_getter_const.ml
1 (*
2  * Copyright (C) 2003:
3  *    Stefano Zacchiroli <zack@cs.unibo.it>
4  *    for the HELM Team http://helm.cs.unibo.it/
5  *
6  *  This file is part of HELM, an Hypertextual, Electronic
7  *  Library of Mathematics, developed at the Computer Science
8  *  Department, University of Bologna, Italy.
9  *
10  *  HELM is free software; you can redistribute it and/or
11  *  modify it under the terms of the GNU General Public License
12  *  as published by the Free Software Foundation; either version 2
13  *  of the License, or (at your option) any later version.
14  *
15  *  HELM is distributed in the hope that it will be useful,
16  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
17  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18  *  GNU General Public License for more details.
19  *
20  *  You should have received a copy of the GNU General Public License
21  *  along with HELM; if not, write to the Free Software
22  *  Foundation, Inc., 59 Temple Place - Suite 330, Boston,
23  *  MA  02111-1307, USA.
24  *
25  *  For details, see the HELM World-Wide-Web page,
26  *  http://helm.cs.unibo.it/
27  *)
28
29 let version = "0.2.0"
30 let conffile = "http_getter.conf.xml"
31
32   (* TODO provide a better usage string *)
33 let usage_string =
34 "
35 <html>
36   <head>
37     <title>HTTP Getter's help message</title>
38   </head>
39   <body>
40     <p>
41     Usage: <kbd>http://hostname:getterport/</kbd><em>command</em>
42     </p>
43     <p>
44     Available commands:
45     </p>
46     <p>
47       <b><kbd>help</kbd></b><br />
48       display this help message
49     </p>
50     <p>
51       <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
52     </p>
53     <p>
54       <b><kbd>register?uri=URI&url=URL</kbd></b><br />
55     </p>
56     <p>
57       <b><kbd>resolve?uri=URI</kbd></b><br />
58     </p>
59     <p>
60       <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
61     </p>
62     <p>
63       <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
64     </p>
65     <p>
66       <b><kbd>update</kbd></b><br />
67     </p>
68     <p>
69       <b><kbd>getalluris</kbd></b><br />
70     </p>
71     <p>
72       <b><kbd>getallrdfuris</kbd></b><br />
73     </p>
74     <p>
75       <b><kbd>ls?baseuri=URI&format=(txt|xml)</kbd></b><br />
76     </p>
77     <p>
78       <b><kbd>getempty</kbd></b><br />
79     </p>
80   </body>
81 </html>
82 "
83
84 let empty_xml =
85 "<?xml version=\"1.0\"?>
86 <!DOCTYPE empty [
87   <!ELEMENT empty EMPTY>
88 ]>
89 <empty />
90 "
91