]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years ago- added support for 'reload' method which is supposed to be invoked on
Stefano Zacchiroli [Tue, 7 Jan 2003 18:22:59 +0000 (18:22 +0000)]
- added support for 'reload' method which is supposed to be invoked on
  SIGHUP, actually it only reloads servers list from servers.txt
- changed servers type from string list to string list ref to permit
  changes on reload

21 years agoResolve fixed: when an URI was well-formed but not found in a map, unresolved
Claudio Sacerdoti Coen [Tue, 7 Jan 2003 17:48:21 +0000 (17:48 +0000)]
Resolve fixed: when an URI was well-formed but not found in a map, unresolved
was not returned.

21 years ago- removed no longer used xsl_dir parameter
Stefano Zacchiroli [Tue, 7 Jan 2003 17:25:59 +0000 (17:25 +0000)]
- removed no longer used xsl_dir parameter

21 years ago- support file:// URL scheme in http_get
Stefano Zacchiroli [Tue, 7 Jan 2003 17:07:22 +0000 (17:07 +0000)]
- support file:// URL scheme in http_get

21 years ago- added some cache-control header telling not to cache some responses
Stefano Zacchiroli [Tue, 7 Jan 2003 17:06:55 +0000 (17:06 +0000)]
- added some cache-control header telling not to cache some responses

21 years ago- optimization: precompile all precompilable regexps
Stefano Zacchiroli [Tue, 7 Jan 2003 14:59:40 +0000 (14:59 +0000)]
- optimization: precompile all precompilable regexps

21 years ago- added "cp", a wrapper around omonymous command
Stefano Zacchiroli [Tue, 7 Jan 2003 14:57:41 +0000 (14:57 +0000)]
- added "cp", a wrapper around omonymous command
- added support for "file://" scheme to "wget" wrapper

21 years agodebian release 0.3.0-10
Stefano Zacchiroli [Tue, 7 Jan 2003 11:02:53 +0000 (11:02 +0000)]
debian release 0.3.0-10

21 years agoadded cvsignore
Stefano Zacchiroli [Mon, 6 Jan 2003 18:37:03 +0000 (18:37 +0000)]
added cvsignore

21 years ago- added 'doc' dir with a diagram of messages exchanges between
Stefano Zacchiroli [Mon, 6 Jan 2003 18:36:17 +0000 (18:36 +0000)]
- added 'doc' dir with a diagram of messages exchanges between
  client/borker/tutor

21 years agoadded 'test' dir with a serialization/deserialization test for messages
Stefano Zacchiroli [Mon, 6 Jan 2003 18:34:57 +0000 (18:34 +0000)]
added 'test' dir with a serialization/deserialization test for messages

21 years ago- added/moved METAs in meta/ dir
Stefano Zacchiroli [Sun, 5 Jan 2003 16:17:51 +0000 (16:17 +0000)]
- added/moved METAs in meta/ dir
- split one META for threadSafe module

21 years ago- hbugs first draft release, not yet tested
Stefano Zacchiroli [Sun, 5 Jan 2003 15:03:03 +0000 (15:03 +0000)]
- hbugs first draft release, not yet tested

21 years ago- use version deps and build-deps
Stefano Zacchiroli [Sun, 5 Jan 2003 14:57:37 +0000 (14:57 +0000)]
- use version deps and build-deps
- moved stuff in /usr/lib/ocaml/<version> stdlib dir

21 years ago- added some TODO comments
Stefano Zacchiroli [Sun, 5 Jan 2003 14:16:01 +0000 (14:16 +0000)]
- added some TODO comments
- added support for callback raised Quit exception

21 years ago- better test for content-length header existence (now case insensitive)
Stefano Zacchiroli [Sun, 5 Jan 2003 14:15:13 +0000 (14:15 +0000)]
- better test for content-length header existence (now case insensitive)
- parse POST query parameters only if content-type is
  application/x-www-form-urlencoded, otherwise set only request's body
  POST received data

21 years ago- case insensitive handling of header names
Stefano Zacchiroli [Sun, 5 Jan 2003 14:12:57 +0000 (14:12 +0000)]
- case insensitive handling of header names

21 years ago- catch Not_found exception while regexping headers
Stefano Zacchiroli [Sun, 5 Jan 2003 14:11:50 +0000 (14:11 +0000)]
- catch Not_found exception while regexping headers

21 years ago- added a TODO comment
Stefano Zacchiroli [Sun, 5 Jan 2003 14:11:04 +0000 (14:11 +0000)]
- added a TODO comment

21 years ago- added Quit exception to force main daemon to quit
Stefano Zacchiroli [Sun, 5 Jan 2003 14:09:36 +0000 (14:09 +0000)]
- added Quit exception to force main daemon to quit
- added some comments

21 years ago- hand made 'wget' function instead of Http_client.Convenience.blabla
Stefano Zacchiroli [Sun, 5 Jan 2003 14:08:58 +0000 (14:08 +0000)]
- hand made 'wget' function instead of Http_client.Convenience.blabla
- use thread mode by default

21 years ago- dump also request's body, useful to debug POST requests
Stefano Zacchiroli [Sun, 5 Jan 2003 14:07:37 +0000 (14:07 +0000)]
- dump also request's body, useful to debug POST requests

21 years ago- added *.o *.a *.deb
Stefano Zacchiroli [Sun, 5 Jan 2003 14:06:53 +0000 (14:06 +0000)]
- added *.o *.a *.deb

21 years ago- added a TODO comment for 'file://' scheme support
Stefano Zacchiroli [Sun, 5 Jan 2003 14:04:57 +0000 (14:04 +0000)]
- added a TODO comment for 'file://' scheme support

21 years ago- changed copyright year to 2003
Stefano Zacchiroli [Fri, 27 Dec 2002 10:51:02 +0000 (10:51 +0000)]
- changed copyright year to 2003

21 years ago- fixed typo in Content-Encoding header name
Stefano Zacchiroli [Fri, 27 Dec 2002 10:49:24 +0000 (10:49 +0000)]
- fixed typo in Content-Encoding header name
- send Content-Encoding header before Content-Length header

21 years ago- added comments
Stefano Zacchiroli [Fri, 27 Dec 2002 10:48:39 +0000 (10:48 +0000)]
- added comments
- moved here http_get

21 years agocomment mangling
Stefano Zacchiroli [Fri, 27 Dec 2002 10:48:13 +0000 (10:48 +0000)]
comment mangling

21 years ago- comments mangling
Stefano Zacchiroli [Fri, 27 Dec 2002 10:47:51 +0000 (10:47 +0000)]
- comments mangling

21 years ago- use and override debug_print from Http_getter_debugger
Stefano Zacchiroli [Fri, 27 Dec 2002 10:47:22 +0000 (10:47 +0000)]
- use and override debug_print from Http_getter_debugger

21 years ago- removed debug_print, now in Http_getter_debugger
Stefano Zacchiroli [Fri, 27 Dec 2002 10:46:53 +0000 (10:46 +0000)]
- removed debug_print, now in Http_getter_debugger

21 years ago- precompiled some regexps
Stefano Zacchiroli [Fri, 27 Dec 2002 10:46:21 +0000 (10:46 +0000)]
- precompiled some regexps
- moved debug_print to Http_getter_debugger
- moved http_get in Http_getter_misc
- moved main in a 'main' function
- added 'at_exit' handler which saves maps

21 years agoadded http_getter_debugger
Stefano Zacchiroli [Fri, 27 Dec 2002 10:44:40 +0000 (10:44 +0000)]
added http_getter_debugger

21 years agofooish module for 'debug_print'
Stefano Zacchiroli [Fri, 27 Dec 2002 10:44:17 +0000 (10:44 +0000)]
fooish module for 'debug_print'

21 years ago- moved wget, gzip, gunzip, tempfile from Http_getter_common to
Stefano Zacchiroli [Fri, 27 Dec 2002 08:57:24 +0000 (08:57 +0000)]
- moved wget, gzip, gunzip, tempfile from Http_getter_common to
  Http_getter_misc
- added Unix.process_status pretty printer to Http_getter_misc

21 years ago- clear also .db db files
Stefano Zacchiroli [Thu, 26 Dec 2002 19:57:46 +0000 (19:57 +0000)]
- clear also .db db files
- added #close method

21 years agocatch CTRL-C and save maps before quitting
Stefano Zacchiroli [Thu, 26 Dec 2002 19:57:13 +0000 (19:57 +0000)]
catch CTRL-C and save maps before quitting

21 years ago- bugfix: shows all log while doing 'update'
Stefano Zacchiroli [Thu, 26 Dec 2002 19:53:26 +0000 (19:53 +0000)]
- bugfix: shows all log while doing 'update'

21 years ago- added maps sync
Stefano Zacchiroli [Thu, 26 Dec 2002 19:30:00 +0000 (19:30 +0000)]
- added maps sync

21 years ago- added support for 'patch_dtd' parameter in 'respond_dtd'
Stefano Zacchiroli [Thu, 26 Dec 2002 15:52:03 +0000 (15:52 +0000)]
- added support for 'patch_dtd' parameter in 'respond_dtd'
- changed content-type of 'respond_dtd' to text/plain

21 years ago- bugfix: removed trailing "/" from 'my_own_url'
Stefano Zacchiroli [Thu, 26 Dec 2002 15:50:47 +0000 (15:50 +0000)]
- bugfix: removed trailing "/" from 'my_own_url'

21 years ago- reimplemented 'clear' method deleting old DBs and recreating them from
Stefano Zacchiroli [Thu, 26 Dec 2002 15:50:06 +0000 (15:50 +0000)]
- reimplemented 'clear' method deleting old DBs and recreating them from
  scratch

21 years ago- added module StringSet that implement set of string
Stefano Zacchiroli [Thu, 26 Dec 2002 15:49:17 +0000 (15:49 +0000)]
- added module StringSet that implement set of string

21 years ago- bugfix: typo in XSL patching
Stefano Zacchiroli [Thu, 26 Dec 2002 15:48:36 +0000 (15:48 +0000)]
- bugfix: typo in XSL patching
- bugfix: fixed parameters passed to 'wget' command
- moved some comment from .ml to .mli

21 years ago- removed some debugging prints
Stefano Zacchiroli [Thu, 26 Dec 2002 15:45:11 +0000 (15:45 +0000)]
- 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

21 years agoDbm dumper for dbs created using Dbm ocaml module
Stefano Zacchiroli [Thu, 26 Dec 2002 15:38:55 +0000 (15:38 +0000)]
Dbm dumper for dbs created using Dbm ocaml module

21 years agoadded Makefiles
Stefano Zacchiroli [Wed, 25 Dec 2002 20:51:38 +0000 (20:51 +0000)]
added Makefiles

21 years agoadded http_getter OCaml implementation
Stefano Zacchiroli [Wed, 25 Dec 2002 20:48:30 +0000 (20:48 +0000)]
added http_getter OCaml implementation

21 years ago- bugfix: installs also cmi for modules which doesn't have mli
Stefano Zacchiroli [Wed, 25 Dec 2002 20:39:02 +0000 (20:39 +0000)]
- bugfix: installs also cmi for modules which doesn't have mli

21 years ago- set ocamldoc to look in netstring directory so that it's able to find
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

21 years agomentioned POST changes
Stefano Zacchiroli [Wed, 25 Dec 2002 15:28:13 +0000 (15:28 +0000)]
mentioned POST changes

21 years ago- merged "post" branch
Stefano Zacchiroli [Wed, 25 Dec 2002 15:26:32 +0000 (15:26 +0000)]
- merged "post" branch

21 years agolibdir transition to /usr/lib/ocaml/<version>
Stefano Zacchiroli [Wed, 25 Dec 2002 15:21:34 +0000 (15:21 +0000)]
libdir transition to /usr/lib/ocaml/<version>

21 years agowhen making 'dist' remove old spurious dist directories
Stefano Zacchiroli [Wed, 25 Dec 2002 15:20:14 +0000 (15:20 +0000)]
when making 'dist' remove old spurious dist directories

21 years agobetter use of variables to install/uninstall stuff
Stefano Zacchiroli [Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)]
better use of variables to install/uninstall stuff

21 years agoMathQL textual lexer patched
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

21 years agoINDEXEs on hrefRel and hrefSort added.
Claudio Sacerdoti Coen [Thu, 12 Dec 2002 15:43:14 +0000 (15:43 +0000)]
INDEXEs on hrefRel and hrefSort added.

21 years agorebuilt
Stefano Zacchiroli [Mon, 9 Dec 2002 21:39:18 +0000 (21:39 +0000)]
rebuilt

21 years agoprefix error messages with "[OCaml HTTP]"
Stefano Zacchiroli [Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)]
prefix error messages with "[OCaml HTTP]"

21 years agomention IP address info in request class
Stefano Zacchiroli [Mon, 9 Dec 2002 14:59:53 +0000 (14:59 +0000)]
mention IP address info in request class

21 years agoadded support for IP address info retrieval for OO style 'start' functions
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

21 years ago- added methods to retrieve client IP address related info
Stefano Zacchiroli [Mon, 9 Dec 2002 14:58:24 +0000 (14:58 +0000)]
- added methods to retrieve client IP address related info

21 years ago- added explode_sockaddr, inverse function of build_sockaddr
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

21 years agoadded client_address example which show the ability to retrieve client
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

21 years agoadded example data files to EXTRA_DIST
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:40 +0000 (11:32 +0000)]
added example data files to EXTRA_DIST

21 years agoignore Makefile, Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:20 +0000 (11:32 +0000)]
ignore Makefile, Makefile.in

21 years agoadded 'deb' target
Stefano Zacchiroli [Mon, 9 Dec 2002 11:32:00 +0000 (11:32 +0000)]
added 'deb' target

21 years agoadded detection of all ocaml related tools and directories
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:45 +0000 (11:31 +0000)]
added detection of all ocaml related tools and directories

21 years agoignore all auomake's trash
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:22 +0000 (11:31 +0000)]
ignore all auomake's trash

21 years agoadded missing BUGS file
Stefano Zacchiroli [Mon, 9 Dec 2002 11:31:04 +0000 (11:31 +0000)]
added missing BUGS file

21 years ago- debian version 0.0.3-2
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

21 years agoignore Makefile, Makefile.in, .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:21:49 +0000 (11:21 +0000)]
ignore Makefile, Makefile.in, .deps

21 years agobugfix: removed EXTRA_DIST useless line
Stefano Zacchiroli [Mon, 9 Dec 2002 11:21:11 +0000 (11:21 +0000)]
bugfix: removed EXTRA_DIST useless line

21 years agoignore Makefile, Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:20:03 +0000 (11:20 +0000)]
ignore Makefile, Makefile.in

21 years agoadded Makefile Makefile.in and .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:18:17 +0000 (11:18 +0000)]
added Makefile Makefile.in and .deps

21 years agoremove automake generated stuff
Stefano Zacchiroli [Mon, 9 Dec 2002 11:17:36 +0000 (11:17 +0000)]
remove automake generated stuff

21 years agoadded automake generated stuff
Stefano Zacchiroli [Mon, 9 Dec 2002 11:17:12 +0000 (11:17 +0000)]
added automake generated stuff

21 years agoremoved old home-made Makefile
Stefano Zacchiroli [Mon, 9 Dec 2002 11:16:47 +0000 (11:16 +0000)]
removed old home-made Makefile

21 years agoignore Makefile and Makefile.in
Stefano Zacchiroli [Mon, 9 Dec 2002 11:15:56 +0000 (11:15 +0000)]
ignore Makefile and Makefile.in

21 years agofilled SUBDIR var
Stefano Zacchiroli [Mon, 9 Dec 2002 11:14:26 +0000 (11:14 +0000)]
filled SUBDIR var

21 years agoadded Makefile.in and .deps
Stefano Zacchiroli [Mon, 9 Dec 2002 11:13:48 +0000 (11:13 +0000)]
added Makefile.in and .deps

21 years agorebuilt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:13:30 +0000 (11:13 +0000)]
rebuilt

21 years agochanged archives to mlgdome2-xslt
Stefano Zacchiroli [Mon, 9 Dec 2002 11:12:47 +0000 (11:12 +0000)]
changed archives to mlgdome2-xslt

21 years agoswitched to automake based build process
Stefano Zacchiroli [Mon, 9 Dec 2002 11:10:31 +0000 (11:10 +0000)]
switched to automake based build process

21 years ago- switched to automake based built
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)]
- switched to automake based built

21 years agoremoved hand-made Makefile
Stefano Zacchiroli [Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)]
removed hand-made Makefile

21 years agosome done, some new todo!
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:51 +0000 (17:53 +0000)]
some done, some new todo!

21 years agoadded entry about oo interfaces
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:35 +0000 (17:53 +0000)]
added entry about oo interfaces

21 years agorebuilt
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:17 +0000 (17:53 +0000)]
rebuilt

21 years ago- added *.mli
Stefano Zacchiroli [Fri, 6 Dec 2002 17:53:05 +0000 (17:53 +0000)]
- added *.mli

21 years ago- added OO example
Stefano Zacchiroli [Fri, 6 Dec 2002 17:31:00 +0000 (17:31 +0000)]
- added OO example

21 years ago- added exceptions Invalid_header_{name,value}
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

21 years ago- added safe_parse_request{,'} which wrap parse_request{,'} catching
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

21 years agoimplemented and exported heal_header_name and heal_header_value
Stefano Zacchiroli [Fri, 6 Dec 2002 17:04:10 +0000 (17:04 +0000)]
implemented and exported heal_header_name and heal_header_value

21 years ago- added 'constructor' for response class
Stefano Zacchiroli [Fri, 6 Dec 2002 17:01:00 +0000 (17:01 +0000)]
- added 'constructor' for response class
- added methods 'addHeaders' and 'replaceHeaders'

21 years agominor indentation change
Stefano Zacchiroli [Fri, 6 Dec 2002 16:44:50 +0000 (16:44 +0000)]
minor indentation change

21 years ago- split init_socket_and_callback in two functions
Stefano Zacchiroli [Fri, 6 Dec 2002 16:43:38 +0000 (16:43 +0000)]
- split init_socket_and_callback in two functions
- exported init_socket

21 years agoadded 'build_sockaddr'
Stefano Zacchiroli [Fri, 6 Dec 2002 16:40:26 +0000 (16:40 +0000)]
added 'build_sockaddr'

21 years agoremoved now useless (due to automake) Makefile
Stefano Zacchiroli [Fri, 6 Dec 2002 16:37:14 +0000 (16:37 +0000)]
removed now useless (due to automake) Makefile

21 years ago* bug fixed: the property construct did not sort and did not remove duplicates
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.