]> matita.cs.unibo.it Git - helm.git/commit
- removed some debugging prints
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:45:11 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:45:11 +0000 (15:45 +0000)
commit0dc01969c5bdf943e0b84e134b320d1fd39f5e8f
treed9ba02182f749eeeb49dfdc65490a317b2c5df55
parent0f1696d5c0601f3070b9c1bb1f32dd82fceb033b
- removed some debugging prints
- removed default 'true' value from patch_dtd parsing function
- added support for RDF and XSL uris to 'register' method
- bugfix: set HTTP return code when using Http_daemon.send_basic_headers
- optimization: precompiled almost all regexp used in 'ls' method
- bugfix: search for 'objects' also in 'directory hit' ('ls' method)
- bugfix: never raise exception when no flag is found ('ls' method)
- bugfix: many typos in XML output for various methods
- bugfix: s%cic://%cic:%
- added support for patch_dtd also in 'getdtd' and 'getxslt' methods
- bugfix: clear map only once for /update run, not for each server
helm/http_getter/http_getter.ml