]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b03d3f) | patch
added support for new environment variables
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jun 2001 09:14:34 +0000 (09:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jun 2001 09:14:34 +0000 (09:14 +0000)
commit0c10a9daa0571da2621b2d8ced0434021d114f8c
tree007fe79f685b8172f0e0a8cf0a28137ca4ca1f4atree | snapshot
parent9b03d3f69b91921f10e764d1a465880248c14e55commit | diff
added support for new environment variables
- HTTP_GETTER_RDF_DIR, cache dir for rdf metadata
- HTTP_GETTER_RDF_DBM, dbm file that map rdf uri to url _without_ .db ext
- HTTP_GETTER_RDF_INDEXNAME, name of the indexfile that contain rdf index
helm/http_getter/configure.in diff | blob | history
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.