]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
rewritten 'gzip' and 'gunzip' using Zip module instead of calling
[helm.git] / helm / http_getter /
2003-01-08 Stefano Zacchirolirewritten 'gzip' and 'gunzip' using Zip module instead...
2003-01-08 Stefano Zacchiroli- moved version setting to Http_getter_const
2003-01-08 Stefano Zacchirolirebuilt for ocaml stuff
2003-01-08 Stefano Zacchiroli- added 'version' field, actually set to 0.2.0
2003-01-08 Stefano Zacchirolinew http_getter sources layout:
2003-01-07 Stefano Zacchiroli- fixed helm web page url and copyright notice
2003-01-07 Stefano Zacchirolireindented
2003-01-07 Stefano Zacchiroli- label name changes: s/patch_dtd/patch because "patch_...
2003-01-07 Stefano Zacchiroli- reload servers list on before /update
2003-01-07 Stefano Zacchiroli- added support for 'reload' method which is supposed...
2003-01-07 Claudio Sacerdoti... Resolve fixed: when an URI was well-formed but not...
2003-01-07 Stefano Zacchiroli- removed no longer used xsl_dir parameter
2003-01-07 Stefano Zacchiroli- support file:// URL scheme in http_get
2003-01-07 Stefano Zacchiroli- added some cache-control header telling not to cache...
2003-01-07 Stefano Zacchiroli- optimization: precompile all precompilable regexps
2003-01-07 Stefano Zacchiroli- added "cp", a wrapper around omonymous command
2003-01-05 Stefano Zacchiroli- added a TODO comment for 'file://' scheme support
2002-12-27 Stefano Zacchiroli- changed copyright year to 2003
2002-12-27 Stefano Zacchiroli- fixed typo in Content-Encoding header name
2002-12-27 Stefano Zacchiroli- added comments
2002-12-27 Stefano Zacchirolicomment mangling
2002-12-27 Stefano Zacchiroli- comments mangling
2002-12-27 Stefano Zacchiroli- use and override debug_print from Http_getter_debugger
2002-12-27 Stefano Zacchiroli- removed debug_print, now in Http_getter_debugger
2002-12-27 Stefano Zacchiroli- precompiled some regexps
2002-12-27 Stefano Zacchiroliadded http_getter_debugger
2002-12-27 Stefano Zacchirolifooish module for 'debug_print'
2002-12-27 Stefano Zacchiroli- moved wget, gzip, gunzip, tempfile from Http_getter_c...
2002-12-26 Stefano Zacchiroli- clear also .db db files
2002-12-26 Stefano Zacchirolicatch CTRL-C and save maps before quitting
2002-12-26 Stefano Zacchiroli- bugfix: shows all log while doing 'update'
2002-12-26 Stefano Zacchiroli- added maps sync
2002-12-26 Stefano Zacchiroli- added support for 'patch_dtd' parameter in 'respond_dtd'
2002-12-26 Stefano Zacchiroli- bugfix: removed trailing "/" from 'my_own_url'
2002-12-26 Stefano Zacchiroli- reimplemented 'clear' method deleting old DBs and...
2002-12-26 Stefano Zacchiroli- added module StringSet that implement set of string
2002-12-26 Stefano Zacchiroli- bugfix: typo in XSL patching
2002-12-26 Stefano Zacchiroli- removed some debugging prints
2002-12-26 Stefano ZacchiroliDbm dumper for dbs created using Dbm ocaml module
2002-12-25 Stefano Zacchiroliadded Makefiles
2002-12-25 Stefano Zacchiroliadded http_getter OCaml implementation
2002-10-24 Claudio Sacerdoti... Bug fixed: I don't know what the bug was exactly, but...
2002-10-10 Claudio Sacerdoti... Handling of the splitting of constants into body +...
2002-10-10 Claudio Sacerdoti... HTTP_GETTER_PORT environment variable added
2002-10-07 Claudio Sacerdoti... HTTP_GETTER_DTD_BASE_DIR configuration parameter added
2002-06-24 Claudio Sacerdoti... class parameter added to the getallrdfuris method.
2002-05-22 Claudio Sacerdoti... getallrdfuris implemented
2002-05-21 Claudio Sacerdoti... Experimental commit that implements the getalluris...
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_URIS_DBM added
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_SERVERS_FILE introduced
2001-11-12 Claudio Sacerdoti... Bug fixed.
2001-11-12 Claudio Sacerdoti... Version number updated.
2001-11-12 Stefano Zacchiroli- modified /getxslt method, now stylesheets are downloa...
2001-11-12 Claudio Sacerdoti... Better error handling when port is not available.
2001-11-11 Stefano ZacchiroliAdded "/getempty" method.
2001-10-24 Claudio Sacerdoti... The cache now supports different RDF URI schema at...
2001-06-27 Stefano Zacchiroliadded support for new environment variables
2001-06-27 Stefano Zacchiroli# bugfix: rdf tie that proxies rdf_urls_of_uris.db...
2001-06-26 Stefano Zacchiroliadded useful tools for perl debugging:
2001-06-26 Claudio Sacerdoti... Format of rdf URIs relaxed
2001-06-26 Claudio Sacerdoti... Version modified
2001-06-26 Claudio Sacerdoti... Now helm:rdf:... is a valid URI.
2001-06-26 Stefano Zacchiroli* added preliminary support for rdf metadata
2001-06-11 Claudio Sacerdoti... Default for patch_dtd modified to "yes".
2001-04-19 Claudio Sacerdoti... register method added
2001-04-11 Claudio Sacerdoti... Content-Cache, Expires and Pragma added for non-error...
2001-04-04 Claudio Sacerdoti... Bug fixed: the result was declared as gzipped even...
2001-03-20 Stefano Zacchiroli- added support for file ls (i.e. you can use a baseuri...
2001-03-17 Stefano ZacchiroliAdded support for CGI handling, still remain some probl...
2001-03-16 Stefano Zacchiroli- renamed /getciconly in /getxml
2001-03-16 Stefano ZacchiroliChanged default content type from "text/plain" to ...
2001-03-16 Stefano ZacchiroliVarious changes:
2001-03-16 Stefano ZacchiroliAdded "format" support to /getciconly method.
2001-03-16 Stefano Zacchiroliehm ... no comment
2001-03-16 Stefano ZacchiroliFixed a bug in the case cachemode=gzipped, resourcetype...
2001-03-16 Stefano ZacchiroliFixed bug in .ann extension handling.
2001-03-10 Stefano ZacchiroliAdded dtd reference in ls method while generating xml...
2001-03-08 Luca Padovanithe version command has been renamed into help, the...
2001-03-06 Stefano ZacchiroliAdded ordering in ann and types flags
2001-03-05 Stefano Zacchirolinew version of ls,
2001-03-05 Stefano ZacchiroliFixed a bug in CGI creation, method "update" now work...
2001-02-22 Stefano ZacchiroliChanged syntax for 'ls' method:
2001-02-21 Luca Padovaninow do unescaping of incoming URI
2001-02-21 Luca Padovaniadded the patch on-the-fly for DTDs, fixed the script...
2001-02-17 Stefano ZacchiroliAdded 'ls' method: return a list of uri that begin...
2001-02-17 Stefano Zacchirolihelm_wget subroutine now use LWP module and doesn't...
2001-02-13 Luca Padovanitmpdir ==> tmp_dir, minor fixes waiting for the stable...
2001-02-12 Stefano Zacchirolimodified "update" request handling, now getter rebuild...
2001-02-12 Luca Padovaniversion information
2001-02-08 Luca Padovanistyles_dir is now style_dir
2001-02-06 Luca Padovanisupport for dynamic retrieval of style configuration...
2001-02-05 Claudio Sacerdoti... Dynamic patch to transform the URL returned by $d-...
2001-02-05 Claudio Sacerdoti... Done for URLs for DTDs the same thing previously done...
2001-02-05 Claudio Sacerdoti... When downloading stylesheets, substitutes all relative...
2001-02-03 Stefano ZacchiroliReindented some parts
2001-02-02 Claudio Sacerdoti... HELM_DTD_DIR now also used
2001-02-02 Claudio Sacerdoti... getxslt added
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
2001-02-02 Luca Padovani*** empty log message ***
next