]>
matita.cs.unibo.it Git - helm.git/log
Stefano Zacchiroli [Thu, 26 Dec 2002 15:38:55 +0000 (15:38 +0000)]
Dbm dumper for dbs created using Dbm ocaml module
Stefano Zacchiroli [Wed, 25 Dec 2002 20:51:38 +0000 (20:51 +0000)]
added Makefiles
Stefano Zacchiroli [Wed, 25 Dec 2002 20:48:30 +0000 (20:48 +0000)]
added http_getter OCaml implementation
Stefano Zacchiroli [Wed, 25 Dec 2002 20:39:02 +0000 (20:39 +0000)]
- bugfix: installs also cmi for modules which doesn't have mli
Stefano Zacchiroli [Wed, 25 Dec 2002 16:06:05 +0000 (16:06 +0000)]
- set ocamldoc to look in netstring directory so that it's able to find
Neturl.url definition
- bugfix: don't try anymore to install no longer existing http_types.mli
Stefano Zacchiroli [Wed, 25 Dec 2002 15:28:13 +0000 (15:28 +0000)]
mentioned POST changes
Stefano Zacchiroli [Wed, 25 Dec 2002 15:26:32 +0000 (15:26 +0000)]
- merged "post" branch
Stefano Zacchiroli [Wed, 25 Dec 2002 15:21:34 +0000 (15:21 +0000)]
libdir transition to /usr/lib/ocaml/<version>
Stefano Zacchiroli [Wed, 25 Dec 2002 15:20:14 +0000 (15:20 +0000)]
when making 'dist' remove old spurious dist directories
Stefano Zacchiroli [Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)]
better use of variables to install/uninstall stuff
Ferruccio Guidi [Fri, 13 Dec 2002 12:39:01 +0000 (12:39 +0000)]
MathQL textual lexer patched
topLevel patched for compilation: -B and -MB don't work
Claudio Sacerdoti Coen [Thu, 12 Dec 2002 15:43:14 +0000 (15:43 +0000)]
INDEXEs on hrefRel and hrefSort added.
Stefano Zacchiroli [Mon, 9 Dec 2002 21:39:18 +0000 (21:39 +0000)]
rebuilt
Stefano Zacchiroli [Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)]
prefix error messages with "[OCaml HTTP]"
Stefano Zacchiroli [Mon, 9 Dec 2002 14:59:53 +0000 (14:59 +0000)]
mention IP address info in request class
Stefano Zacchiroli [Mon, 9 Dec 2002 14:59:02 +0000 (14:59 +0000)]
added support for IP address info retrieval for OO style 'start' functions
Stefano Zacchiroli [Mon, 9 Dec 2002 14:58:24 +0000 (14:58 +0000)]
- added methods to retrieve client IP address related info
Stefano Zacchiroli [Mon, 9 Dec 2002 14:57:51 +0000 (14:57 +0000)]
- added explode_sockaddr, inverse function of build_sockaddr
- uncurried build_sockaddr arguments
- added peername_of_{in,out}_channel which retrieve peer socket address
from an i/o channel
Stefano Zacchiroli [Mon, 9 Dec 2002 14:56:03 +0000 (14:56 +0000)]
added client_address example which show the ability to retrieve client
IP address and port
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:40 +0000 (11:32 +0000)]
added example data files to EXTRA_DIST
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:20 +0000 (11:32 +0000)]
ignore Makefile, Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:00 +0000 (11:32 +0000)]
added 'deb' target
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:45 +0000 (11:31 +0000)]
added detection of all ocaml related tools and directories
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:22 +0000 (11:31 +0000)]
ignore all auomake's trash
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:04 +0000 (11:31 +0000)]
added missing BUGS file
Stefano Zacchiroli [Mon, 9 Dec 2002 11:29:24 +0000 (11:29 +0000)]
- debian version 0.0.3-2
- ship also C/C++ flavour
- removed dh_ocamlld invocation
- moved .so stub in /usr/lib/ocaml/stublibs
Stefano Zacchiroli [Mon, 9 Dec 2002 11:21:49 +0000 (11:21 +0000)]
ignore Makefile, Makefile.in, .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:21:11 +0000 (11:21 +0000)]
bugfix: removed EXTRA_DIST useless line
Stefano Zacchiroli [Mon, 9 Dec 2002 11:20:03 +0000 (11:20 +0000)]
ignore Makefile, Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:18:17 +0000 (11:18 +0000)]
added Makefile Makefile.in and .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:17:36 +0000 (11:17 +0000)]
remove automake generated stuff
Stefano Zacchiroli [Mon, 9 Dec 2002 11:17:12 +0000 (11:17 +0000)]
added automake generated stuff
Stefano Zacchiroli [Mon, 9 Dec 2002 11:16:47 +0000 (11:16 +0000)]
removed old home-made Makefile
Stefano Zacchiroli [Mon, 9 Dec 2002 11:15:56 +0000 (11:15 +0000)]
ignore Makefile and Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:14:26 +0000 (11:14 +0000)]
filled SUBDIR var
Stefano Zacchiroli [Mon, 9 Dec 2002 11:13:48 +0000 (11:13 +0000)]
added Makefile.in and .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:13:30 +0000 (11:13 +0000)]
rebuilt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:12:47 +0000 (11:12 +0000)]
changed archives to mlgdome2-xslt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:10:31 +0000 (11:10 +0000)]
switched to automake based build process
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)]
- switched to automake based built
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)]
removed hand-made Makefile
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:51 +0000 (17:53 +0000)]
some done, some new todo!
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:35 +0000 (17:53 +0000)]
added entry about oo interfaces
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:17 +0000 (17:53 +0000)]
rebuilt
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:05 +0000 (17:53 +0000)]
- added *.mli
Stefano Zacchiroli [Fri, 6 Dec 2002 17:31:00 +0000 (17:31 +0000)]
- added OO example
Stefano Zacchiroli [Fri, 6 Dec 2002 17:27:10 +0000 (17:27 +0000)]
- added exceptions Invalid_header_{name,value}
- added class types connection and daemon
Stefano Zacchiroli [Fri, 6 Dec 2002 17:15:37 +0000 (17:15 +0000)]
- added safe_parse_request{,'} which wrap parse_request{,'} catching
exceptions and sending error messages to client
- added connection class
- added daemon class
Stefano Zacchiroli [Fri, 6 Dec 2002 17:04:10 +0000 (17:04 +0000)]
implemented and exported heal_header_name and heal_header_value
Stefano Zacchiroli [Fri, 6 Dec 2002 17:01:00 +0000 (17:01 +0000)]
- added 'constructor' for response class
- added methods 'addHeaders' and 'replaceHeaders'
Stefano Zacchiroli [Fri, 6 Dec 2002 16:44:50 +0000 (16:44 +0000)]
minor indentation change
Stefano Zacchiroli [Fri, 6 Dec 2002 16:43:38 +0000 (16:43 +0000)]
- split init_socket_and_callback in two functions
- exported init_socket
Stefano Zacchiroli [Fri, 6 Dec 2002 16:40:26 +0000 (16:40 +0000)]
added 'build_sockaddr'
Stefano Zacchiroli [Fri, 6 Dec 2002 16:37:14 +0000 (16:37 +0000)]
removed now useless (due to automake) Makefile
Claudio Sacerdoti Coen [Fri, 6 Dec 2002 13:13:29 +0000 (13:13 +0000)]
* bug fixed: the property construct did not sort and did not remove duplicates
from the answer
* Not_found are now always catched in Mqint. Informative exceptions are raised.
Luca Padovani [Thu, 5 Dec 2002 13:12:34 +0000 (13:12 +0000)]
* ignore things
Luca Padovani [Thu, 5 Dec 2002 13:11:59 +0000 (13:11 +0000)]
* empty automake Makefile for ocaml stuff
Luca Padovani [Thu, 5 Dec 2002 13:11:37 +0000 (13:11 +0000)]
* required for compilation of test
Luca Padovani [Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)]
* patches for ocaml compilation
Luca Padovani [Wed, 4 Dec 2002 20:02:14 +0000 (20:02 +0000)]
* missed some files
Luca Padovani [Wed, 4 Dec 2002 20:00:38 +0000 (20:00 +0000)]
* added C++ binding
* fixed a few things in the C binding
* moving to the global configure.ac
* does not work yet
Stefano Zacchiroli [Wed, 4 Dec 2002 12:38:06 +0000 (12:38 +0000)]
- reverted to only one quotation level in xmluri, libxml2 is now fixed
Stefano Zacchiroli [Wed, 4 Dec 2002 08:46:33 +0000 (08:46 +0000)]
recomputed
Stefano Zacchiroli [Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)]
- bugfix: removed Http_types -> Http_types dep
Stefano Zacchiroli [Wed, 4 Dec 2002 08:45:54 +0000 (08:45 +0000)]
- use Pcre to perform sanity checks
- removed is_http* from interface, export only heal_header
Stefano Zacchiroli [Wed, 4 Dec 2002 08:44:45 +0000 (08:44 +0000)]
- first entry for 0.0.7
Stefano Zacchiroli [Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)]
- added deb target
Stefano Zacchiroli [Tue, 3 Dec 2002 21:39:36 +0000 (21:39 +0000)]
- added sanity checks entry
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:42 +0000 (21:37 +0000)]
*** empty log message ***
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:26 +0000 (21:37 +0000)]
- added two TODO comment
Stefano Zacchiroli [Tue, 3 Dec 2002 21:37:04 +0000 (21:37 +0000)]
- moved exceptions here
Stefano Zacchiroli [Tue, 3 Dec 2002 21:36:34 +0000 (21:36 +0000)]
- moved exceptions in http_types
- bugfixed some illegal \\ in regular expressions
- added sanity check on setCode, {add,replace}Header
Stefano Zacchiroli [Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)]
- moved exceptions in http_types
Stefano Zacchiroli [Tue, 3 Dec 2002 21:34:14 +0000 (21:34 +0000)]
- implemented heal_header that sanity checks an header
- moved exceptions in http_types
Stefano Zacchiroli [Tue, 3 Dec 2002 21:32:31 +0000 (21:32 +0000)]
- added sanity test on headers while using send_header{,s}
Stefano Zacchiroli [Tue, 3 Dec 2002 21:31:19 +0000 (21:31 +0000)]
- added string_{em,im}plode
- moved here reason_phrase_of_code
Stefano Zacchiroli [Tue, 3 Dec 2002 21:29:57 +0000 (21:29 +0000)]
- moved exceptions in http_types
- moved reason_phrase_of_code in in http_misc because it should not be
used by users
- removed useless reason_phrase_of_status
- moved constants to http_constants
Stefano Zacchiroli [Tue, 3 Dec 2002 21:27:57 +0000 (21:27 +0000)]
added cvsignores
Stefano Zacchiroli [Tue, 3 Dec 2002 21:26:49 +0000 (21:26 +0000)]
added Http_constants module
Claudio Sacerdoti Coen [Tue, 3 Dec 2002 09:23:58 +0000 (09:23 +0000)]
m:exist ==> m:exists
Stefano Zacchiroli [Mon, 2 Dec 2002 16:26:09 +0000 (16:26 +0000)]
- unset http_proxy to avoid libxslt related problems
Stefano Zacchiroli [Mon, 2 Dec 2002 16:12:18 +0000 (16:12 +0000)]
- bugfix use Netconding.Url.encode instead of trivial home made encoding
Stefano Zacchiroli [Mon, 2 Dec 2002 16:11:46 +0000 (16:11 +0000)]
- added 2 TODO items
Stefano Zacchiroli [Mon, 2 Dec 2002 15:28:12 +0000 (15:28 +0000)]
- moved supported_properties stuff in uwobo_common
- removed dump_args debugging function
Stefano Zacchiroli [Mon, 2 Dec 2002 15:27:33 +0000 (15:27 +0000)]
- bugfix: wrap Not_found exception with Stylesheet_not_found exception
when trying to apply an unloaded stylesheet
Stefano Zacchiroli [Mon, 2 Dec 2002 15:26:05 +0000 (15:26 +0000)]
- written help message
Stefano Zacchiroli [Mon, 2 Dec 2002 15:25:38 +0000 (15:25 +0000)]
- moved here support_properties stuff
Stefano Zacchiroli [Mon, 2 Dec 2002 14:05:00 +0000 (14:05 +0000)]
bugfix: install also _mt objects
Stefano Zacchiroli [Mon, 2 Dec 2002 13:23:36 +0000 (13:23 +0000)]
- added an additional level of quoting on xmluri argument because
libxslt's document() implementation sucks
Stefano Zacchiroli [Sun, 1 Dec 2002 20:06:11 +0000 (20:06 +0000)]
- bugfix (or hack, as you wish :-) for recursive invocations problem:
fork a new process to handle "/apply" requests
Stefano Zacchiroli [Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)]
- bugfix: add xsl:output element as last child of the root element to
avoid violation of XSLT specifications when one or more xsl:import
elements are used
- added logging of received parameters for debugging purposes
Stefano Zacchiroli [Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)]
use '-thread' option only when linking
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:56 +0000 (17:20 +0000)]
- added damned_recursion example
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:31 +0000 (17:20 +0000)]
- removed some ':'s
Stefano Zacchiroli [Sun, 1 Dec 2002 17:20:17 +0000 (17:20 +0000)]
- added mt and non_mt dirs to dist stuff
- bugfix: added some forgotten targets to .PHONY
Stefano Zacchiroli [Sun, 1 Dec 2002 16:33:03 +0000 (16:33 +0000)]
- split threaded and non threaded implementations
Stefano Zacchiroli [Sun, 1 Dec 2002 16:32:46 +0000 (16:32 +0000)]
- split threaded and non threaded implementations
- factorized out code for initialization of server socket and 'standard'
callback
Stefano Zacchiroli [Fri, 29 Nov 2002 16:18:00 +0000 (16:18 +0000)]
snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack
Stefano Zacchiroli [Fri, 29 Nov 2002 11:38:49 +0000 (11:38 +0000)]
snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack
Stefano Zacchiroli [Fri, 29 Nov 2002 11:27:54 +0000 (11:27 +0000)]
added 0.0.2 entry