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/
32 let conffile = "http_getter.conf.xml"
34 (* TODO provide a better usage string *)
40 <title>HTTP Getter's help message</title>
43 <h1>HTTP Getter, version %s</h1>
45 Usage: <kbd>http://hostname:getterport/</kbd><em>command</em>
51 <b><kbd>help</kbd></b><br />
52 display this help message
55 <b><kbd>getxml?uri=URI[&format=(normal|gz)][&patch_dtd=(yes|no)]</kbd></b><br />
58 <b><kbd>register?uri=URI&url=URL</kbd></b><br />
61 <b><kbd>resolve?uri=URI</kbd></b><br />
64 <b><kbd>getdtd?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
67 <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
70 <b><kbd>update</kbd></b><br />
73 <b><kbd>getalluris</kbd></b><br />
76 <b><kbd>getallrdfuris</kbd></b><br />
79 <b><kbd>ls?baseuri=URI&format=(txt|xml)</kbd></b><br />
82 <b><kbd>getempty</kbd></b><br />
90 "<?xml version=\"1.0\"?>
92 <!ELEMENT empty EMPTY>