3 * Stefano Zacchiroli <zack@cs.unibo.it>
4 * for the HELM Team http://helm.cs.unibo.it/
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.
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.
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.
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,
25 * For details, see the HELM World-Wide-Web page,
26 * http://helm.cs.unibo.it/
30 let conffile = "http_getter.conf.xml"
32 (* TODO provide a better usage string *)
37 <title>HTTP Getter's help message</title>
41 Usage: <kbd>http://hostname:getterport/</kbd><em>command</em>
47 <b><kbd>help</kbd></b><br />
48 display this help message
51 <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
54 <b><kbd>register?uri=URI&url=URL</kbd></b><br />
57 <b><kbd>resolve?uri=URI</kbd></b><br />
60 <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
63 <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
66 <b><kbd>update</kbd></b><br />
69 <b><kbd>getalluris</kbd></b><br />
72 <b><kbd>getallrdfuris</kbd></b><br />
75 <b><kbd>ls?baseuri=URI&format=(txt|xml)</kbd></b><br />
78 <b><kbd>getempty</kbd></b><br />
85 "<?xml version=\"1.0\"?>
87 <!ELEMENT empty EMPTY>