]> matita.cs.unibo.it Git - helm.git/commitdiff
- 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)
- 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


No differences found