]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years ago- added support for shutdown of servers' socket on abnormal exits
Stefano Zacchiroli [Fri, 17 Jan 2003 14:50:05 +0000 (14:50 +0000)]
- added support for shutdown of servers' socket on abnormal exits
  (actually SIGTERM or uncaught exceptions)
- deprecated use of 'ocaml_builtin' server (removed from .mli too)

21 years agouse new Http_tcp_server.fork server instead of (now) deprecated
Stefano Zacchiroli [Fri, 17 Jan 2003 14:48:50 +0000 (14:48 +0000)]
use new Http_tcp_server.fork server instead of (now) deprecated
Http_tcp_server.ocaml_builtin

21 years agoadded 'highlander' example to test fast rebinding of daemon's port
Stefano Zacchiroli [Fri, 17 Jan 2003 14:48:09 +0000 (14:48 +0000)]
added 'highlander' example to test fast rebinding of daemon's port

21 years agoremoved thread support options
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:52 +0000 (14:45 +0000)]
removed thread support options

21 years agorebuilt
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:29 +0000 (14:45 +0000)]
rebuilt

21 years agoadded loading of stylesheets on start/restart
Stefano Zacchiroli [Wed, 15 Jan 2003 14:33:26 +0000 (14:33 +0000)]
added loading of stylesheets on start/restart

21 years agosnapshot
Stefano Zacchiroli [Wed, 15 Jan 2003 14:28:48 +0000 (14:28 +0000)]
snapshot

21 years ago- disabled OCaml HTTP debugging
Stefano Zacchiroli [Wed, 15 Jan 2003 14:02:59 +0000 (14:02 +0000)]
- disabled OCaml HTTP debugging
- added a debugging messages that is printed after a request is served

21 years ago- no default_properties
Stefano Zacchiroli [Wed, 15 Jan 2003 13:39:21 +0000 (13:39 +0000)]
- no default_properties

21 years ago- added support for default properties
Stefano Zacchiroli [Wed, 15 Jan 2003 13:22:55 +0000 (13:22 +0000)]
- added support for default properties
- actually the only default property is 'method="xml"'

21 years agochanged default behavior of the "all:" target, now builds only bytecode
Stefano Zacchiroli [Wed, 15 Jan 2003 12:16:17 +0000 (12:16 +0000)]
changed default behavior of the "all:" target, now builds only bytecode

21 years agoremoved generated output.xml from EXTRA_DIST
Stefano Zacchiroli [Wed, 15 Jan 2003 11:32:33 +0000 (11:32 +0000)]
removed generated output.xml from EXTRA_DIST

21 years agobugfix: added "std" namespace where needed
Stefano Zacchiroli [Wed, 15 Jan 2003 11:28:09 +0000 (11:28 +0000)]
bugfix: added "std" namespace where needed

21 years agoadded build-dep on libgdome2-cpp-smart-dev
Stefano Zacchiroli [Wed, 15 Jan 2003 11:23:06 +0000 (11:23 +0000)]
added build-dep on libgdome2-cpp-smart-dev

21 years agodebugging print of HTTP request's parsing errors
Stefano Zacchiroli [Fri, 10 Jan 2003 17:23:12 +0000 (17:23 +0000)]
debugging print of HTTP request's parsing errors

21 years ago- added "dist" target
Stefano Zacchiroli [Fri, 10 Jan 2003 11:36:26 +0000 (11:36 +0000)]
- added "dist" target
- uwobo.ml compiled and linked with a single ocaml compiler invocation

21 years agoadded debugging code (disabled by default) that saves transformations
Stefano Zacchiroli [Fri, 10 Jan 2003 11:35:12 +0000 (11:35 +0000)]
added debugging code (disabled by default) that saves transformations
intermediate results in /tmp

21 years agorebuilt
Stefano Zacchiroli [Fri, 10 Jan 2003 09:45:57 +0000 (09:45 +0000)]
rebuilt

21 years agoadded support for "ancient" HTTP requests like "GET /foo"
Stefano Zacchiroli [Fri, 10 Jan 2003 09:39:20 +0000 (09:39 +0000)]
added support for "ancient" HTTP requests like "GET /foo"

21 years agoadded two TODO items:
Stefano Zacchiroli [Fri, 10 Jan 2003 09:39:02 +0000 (09:39 +0000)]
added two TODO items:
- authentication
- hostname in ~addr parameter

21 years agospecified type for Http_types.request objects
Stefano Zacchiroli [Fri, 10 Jan 2003 09:18:44 +0000 (09:18 +0000)]
specified type for Http_types.request objects

21 years ago- export level and levelNo with methods
Stefano Zacchiroli [Fri, 10 Jan 2003 09:15:18 +0000 (09:15 +0000)]
- export level and levelNo with methods
- escape also spaces with '+' in html escaping

21 years ago- fixed typo: use Param_not_found exception from Http_types
Stefano Zacchiroli [Fri, 10 Jan 2003 09:12:58 +0000 (09:12 +0000)]
- fixed typo: use Param_not_found exception from Http_types
- enabled logging by default
- log IP of incoming connections

21 years agofixed copyright notice and helm web page url
Stefano Zacchiroli [Fri, 10 Jan 2003 09:11:05 +0000 (09:11 +0000)]
fixed copyright notice and helm web page url

21 years agoadded dep on 'http' module
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:47 +0000 (09:10 +0000)]
added dep on 'http' module

21 years ago- moved here respond_exc and respond_msg from broker/
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)]
- moved here respond_exc and respond_msg from broker/

21 years agoimplemented random id generation
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:09 +0000 (09:10 +0000)]
implemented random id generation

21 years agorebuilt
Stefano Zacchiroli [Fri, 10 Jan 2003 09:08:57 +0000 (09:08 +0000)]
rebuilt

21 years agoreimplemented http GET/POST functions grabbing functions from
Stefano Zacchiroli [Fri, 10 Jan 2003 09:08:43 +0000 (09:08 +0000)]
reimplemented http GET/POST functions grabbing functions from
zack's Http_client_smart module

21 years agoadded dependency on 'http' library
Stefano Zacchiroli [Fri, 10 Jan 2003 09:07:55 +0000 (09:07 +0000)]
added dependency on 'http' library

21 years agofirst client implementation as a standalone application
Stefano Zacchiroli [Fri, 10 Jan 2003 09:06:22 +0000 (09:06 +0000)]
first client implementation as a standalone application

21 years agoadded client/ subdir
Stefano Zacchiroli [Fri, 10 Jan 2003 09:05:58 +0000 (09:05 +0000)]
added client/ subdir

21 years ago- moved functions for sending/receiving hbugs messages in common/
Stefano Zacchiroli [Fri, 10 Jan 2003 09:05:24 +0000 (09:05 +0000)]
- moved functions for sending/receiving hbugs messages in common/
- added a debugging wrapper that prints all messages received by broker
- test that 'subscribe' method receive at least one tutor_id

21 years ago* code cleanup
Paolo Marinelli [Thu, 9 Jan 2003 16:13:59 +0000 (16:13 +0000)]
* code cleanup
* removed useless source files

21 years ago- added debugging print of request 1st line
Stefano Zacchiroli [Thu, 9 Jan 2003 11:29:09 +0000 (11:29 +0000)]
- added debugging print of request 1st line

21 years agoInitial revision
Luca Padovani [Thu, 9 Jan 2003 11:22:22 +0000 (11:22 +0000)]
Initial revision

21 years ago- shows also version in usage string
Stefano Zacchiroli [Thu, 9 Jan 2003 07:57:26 +0000 (07:57 +0000)]
- shows also version in usage string

21 years ago- added return_html_raw to Http_getter_common
Stefano Zacchiroli [Thu, 9 Jan 2003 07:56:56 +0000 (07:56 +0000)]
- added return_html_raw to Http_getter_common
- renamed for coherence return_xml_msg to return_xml_raw

21 years ago- added some TODO comments
Stefano Zacchiroli [Thu, 9 Jan 2003 07:49:20 +0000 (07:49 +0000)]
- added some TODO comments

21 years ago- added TODO about cache expires control
Stefano Zacchiroli [Wed, 8 Jan 2003 18:00:28 +0000 (18:00 +0000)]
- added TODO about cache expires control

21 years ago- added debugging log messages inside 'wget'
Stefano Zacchiroli [Wed, 8 Jan 2003 17:51:48 +0000 (17:51 +0000)]
- added debugging log messages inside 'wget'

21 years agoperform ancient HTTP request to avoid parsing response's headers
Stefano Zacchiroli [Wed, 8 Jan 2003 17:34:26 +0000 (17:34 +0000)]
perform ancient HTTP request to avoid parsing response's headers

21 years ago- rewritten cp, wget, mkdir in OCaml
Stefano Zacchiroli [Wed, 8 Jan 2003 17:15:16 +0000 (17:15 +0000)]
- rewritten cp, wget, mkdir in OCaml
- added http_get_iter_buf, an iter over remote HTTP GET resources

21 years ago- added debugging log messages in g{,un}zip
Stefano Zacchiroli [Wed, 8 Jan 2003 14:26:46 +0000 (14:26 +0000)]
- added debugging log messages in g{,un}zip

21 years agorewritten 'gzip' and 'gunzip' using Zip module instead of calling
Stefano Zacchiroli [Wed, 8 Jan 2003 14:24:49 +0000 (14:24 +0000)]
rewritten 'gzip' and 'gunzip' using Zip module instead of calling
external shell commands which seem to cause segfaults

21 years ago- moved version setting to Http_getter_const
Stefano Zacchiroli [Wed, 8 Jan 2003 10:58:41 +0000 (10:58 +0000)]
- moved version setting to Http_getter_const
- added conffile setting to Http_getter_const
- changed configuration file name to "http_getter.conf.xml"
- rebuilt .depend, now http_getter_env depends on http_getter_const
- changed link order in Makefile

21 years agorebuilt for ocaml stuff
Stefano Zacchiroli [Wed, 8 Jan 2003 10:31:09 +0000 (10:31 +0000)]
rebuilt for ocaml stuff

21 years ago- added 'version' field, actually set to 0.2.0
Stefano Zacchiroli [Wed, 8 Jan 2003 10:29:02 +0000 (10:29 +0000)]
- added 'version' field, actually set to 0.2.0

21 years agonew http_getter sources layout:
Stefano Zacchiroli [Wed, 8 Jan 2003 10:25:16 +0000 (10:25 +0000)]
new http_getter sources layout:
- updated some README files
- removed old perl stuff

21 years ago- fixed helm web page url and copyright notice
Stefano Zacchiroli [Tue, 7 Jan 2003 20:37:58 +0000 (20:37 +0000)]
- fixed helm web page url and copyright notice

21 years agoreindented
Stefano Zacchiroli [Tue, 7 Jan 2003 18:29:09 +0000 (18:29 +0000)]
reindented

21 years ago- label name changes: s/patch_dtd/patch because "patch_dtd" isn't really
Stefano Zacchiroli [Tue, 7 Jan 2003 18:28:12 +0000 (18:28 +0000)]
- label name changes: s/patch_dtd/patch because "patch_dtd" isn't really
  appropriate for XSL and DTD patching
GET query argument still remaint "patch_dtd" for backward compatibility

21 years ago- reload servers list on before /update
Stefano Zacchiroli [Tue, 7 Jan 2003 18:23:24 +0000 (18:23 +0000)]
- reload servers list on before /update

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