]> matita.cs.unibo.it Git - helm.git/log
helm.git
21 years agofixed a syntax quirk to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:47:03 +0000 (20:47 +0000)]
fixed a syntax quirk to make ocamldoc happy

21 years agomoved an ocamldoc comment to .mli
Stefano Zacchiroli [Mon, 3 Feb 2003 20:46:34 +0000 (20:46 +0000)]
moved an ocamldoc comment to .mli

21 years agospacing to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:44:35 +0000 (20:44 +0000)]
spacing to make ocamldoc happy

21 years agobugfix: catch new exceptions for unsupported HTTP versions and methods
Stefano Zacchiroli [Mon, 3 Feb 2003 20:40:56 +0000 (20:40 +0000)]
bugfix: catch new exceptions for unsupported HTTP versions and methods

21 years agoignore .dot and .ps files
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:48 +0000 (20:38 +0000)]
ignore .dot and .ps files

21 years agoadded GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:11 +0000 (20:38 +0000)]
added GPL preamble

21 years ago- removed superseded exceptions: Unsupported_method, Unsupported_HTTP_version
Stefano Zacchiroli [Mon, 3 Feb 2003 20:37:26 +0000 (20:37 +0000)]
- removed superseded exceptions: Unsupported_method, Unsupported_HTTP_version
- added a lot of ocamldoc comments

21 years agoadded generation of dot modules dependency graph
Stefano Zacchiroli [Mon, 3 Feb 2003 20:35:53 +0000 (20:35 +0000)]
added generation of dot modules dependency graph

21 years agonew interface for text_of_query/text_of_result + bug fixes
Ferruccio Guidi [Mon, 3 Feb 2003 17:27:45 +0000 (17:27 +0000)]
new interface for text_of_query/text_of_result + bug fixes

21 years agoWhat was the semantics of passing an empty prop.encoding?
Claudio Sacerdoti Coen [Mon, 3 Feb 2003 11:08:36 +0000 (11:08 +0000)]
What was the semantics of passing an empty prop.encoding?

21 years ago* created a separate namespace for DOM extensions
Luca Padovani [Sat, 1 Feb 2003 17:49:39 +0000 (17:49 +0000)]
* created a separate namespace for DOM extensions

21 years ago* code cleanup
Luca Padovani [Fri, 31 Jan 2003 09:13:55 +0000 (09:13 +0000)]
* code cleanup
* added logger class and a simple implementation on console
* moved transformation code from test into a mathml factory class
* added .cvsignore files

21 years agoNow it's possible to insert and delete control sequence with arguments
Paolo Marinelli [Thu, 30 Jan 2003 21:15:41 +0000 (21:15 +0000)]
Now it's possible to insert and delete control sequence with arguments
delimited by a sequence of delimiters, and to insert and delete tables.
To meet this goals, some source files have been modified.
  src/TPushLexer.*
    This class has a new method: flush. It's can be used to tell the lexer
    to send the current content of the buffer to the parser.
    It's usefull in the creation of the dictionary.
  src/TDictionary.*
    There are two new method: bool lastDelimiter(unsigned p) and
    unsigned previousParam(unsigne p). The first one is used to know if
    the delimiter at position p is the last one of a sequence.
    The second one retursn the position of the parameter preceding p.
  src/TPushParser.cc
    Now, it provides support for inserting and deleting macro with
    arguments delimetd by a sequence of delimiters, and for inserting
    and deleting tables.
  dictionary.xml
    there are three new entry, added only for testing purposes.
  xsl/tml-mmlp.xsl
    it handles the three new element, introduced in the dictionary.

21 years ago* some small bug fixes
Luca Padovani [Wed, 29 Jan 2003 18:15:56 +0000 (18:15 +0000)]
* some small bug fixes
* updated licenses in all source files

21 years ago* implemented a more efficient selection to avoid flickering
Luca Padovani [Wed, 29 Jan 2003 13:19:26 +0000 (13:19 +0000)]
* implemented a more efficient selection to avoid flickering
* click now unselect every selection even in multi_selection

21 years ago* added refs to the pointers passed on the signal handler!!!
Luca Padovani [Tue, 28 Jan 2003 14:57:55 +0000 (14:57 +0000)]
* added refs to the pointers passed on the signal handler!!!

21 years agoAdded some controls concerning the graphical deleting.
Paolo Marinelli [Mon, 27 Jan 2003 16:34:49 +0000 (16:34 +0000)]
Added some controls concerning the graphical deleting.
Now, it's possible to delete a macro which accepts (delimited or not delimited)
arguments.
To meet this goal, the following source files have been modified:
   src/TNode.*
     added a new public method: void TNode::replace(const TNode& first, TNode& last)
       This method is used to replace a node with the nodes between
       first (included) and last (not included).
   src/TPushParser.*
     Some code lines have been added to handle the graphical deleting of
     macro which accepts arguments.
     Added new private method: void TPushParser::rgreplace_futher(void)
       This method is used in TPushParser::gdelete_prev() and
       TPushParser::do_gdelete() methods. This method replaces a
       group with id having the cursor as unic child, with the
       cursor. Then, it repeats the control.
   dictionary.xml
     a new entry is avaible to test the deleting of a macro which is
     "leftOpen".

21 years ago* binding update to recognize the new event scheme generated by
Luca Padovani [Mon, 27 Jan 2003 14:21:24 +0000 (14:21 +0000)]
* binding update to recognize the new event scheme generated by
   gtkmathview
* some code for handling maction elements has been moved into the
  compatibility class

21 years agobugfix: added some missing deps
Stefano Zacchiroli [Sat, 25 Jan 2003 09:30:26 +0000 (09:30 +0000)]
bugfix: added some missing deps

21 years agoexported hbugsClient class so that it can be used from outside
Stefano Zacchiroli [Fri, 24 Jan 2003 15:32:44 +0000 (15:32 +0000)]
exported hbugsClient class so that it can be used from outside

21 years agodebian release 0.3.99-1
Stefano Zacchiroli [Fri, 24 Jan 2003 12:51:03 +0000 (12:51 +0000)]
debian release 0.3.99-1

21 years agochanged version number to 0.3.99
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:33 +0000 (12:50 +0000)]
changed version number to 0.3.99

21 years agoadded warning comment about using unstable stuff
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:13 +0000 (12:50 +0000)]
added warning comment about using unstable stuff

21 years ago- create also libxxx.so symlink in ocaml stublibs directory
Stefano Zacchiroli [Fri, 24 Jan 2003 12:49:48 +0000 (12:49 +0000)]
- create also libxxx.so symlink in ocaml stublibs directory
- installs also new GMathViewAux stuff

21 years agodebian release 0.0.3-3
Stefano Zacchiroli [Fri, 24 Jan 2003 12:34:24 +0000 (12:34 +0000)]
debian release 0.0.3-3

21 years ago* restored binding with gtkmathview 0.4.0
Luca Padovani [Thu, 23 Jan 2003 16:14:40 +0000 (16:14 +0000)]
* restored binding with gtkmathview 0.4.0
* added compatibility class for single selection and gtkmathview
* added prototype of multiple selection gtkmathview (likely to change)

21 years agomethod HTML forced for html output
Claudio Sacerdoti Coen [Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)]
method HTML forced for html output

21 years agoclient's GUI no longer visible by default
Stefano Zacchiroli [Wed, 22 Jan 2003 11:48:57 +0000 (11:48 +0000)]
client's GUI no longer visible by default

21 years agobinding to gtkmathview 0.3.1
Stefano Zacchiroli [Tue, 21 Jan 2003 14:41:56 +0000 (14:41 +0000)]
binding to gtkmathview 0.3.1

21 years ago- added methods
Stefano Zacchiroli [Tue, 21 Jan 2003 12:22:55 +0000 (12:22 +0000)]
- added methods
  * dump    (debugging, dump registry internal status)
  * purge   (remove ancient entries from registries)

21 years agoA first partial implementation of deleting is introduced. The user might
Paolo Marinelli [Tue, 21 Jan 2003 11:42:16 +0000 (11:42 +0000)]
A first partial implementation of deleting is introduced. The user might
want to delete in two ways: a deleting mode near to what he has actually
typed (textual mode) and a deleting mode near to what screen shows (graphical
mode). Only a partial implementation of the second mode is provided. The user
can delete a macro he is typing, a group, an identifier, a number, a
superscript and a subscript. To delete in graphical mode the user has to type
BACKSPACE.
Added the following private methods to TPushParser class:
  void do_gdelete(void)
  void gdelete_prev(void)
Added the entry GDELETE to the TCat enum defined in the TToken struct.

21 years ago- added ragman process who cleans up old registrations
Stefano Zacchiroli [Mon, 20 Jan 2003 09:38:54 +0000 (09:38 +0000)]
- added ragman process who cleans up old registrations
- added /dump debugging GET method

21 years agochanged log file permission to 0o640
Stefano Zacchiroli [Fri, 17 Jan 2003 16:09:53 +0000 (16:09 +0000)]
changed log file permission to 0o640

21 years agokill HTTP child on exit
Stefano Zacchiroli [Fri, 17 Jan 2003 16:07:09 +0000 (16:07 +0000)]
kill HTTP child on exit

21 years agocatch SIGTERM and log a "bye" message
Stefano Zacchiroli [Fri, 17 Jan 2003 15:45:39 +0000 (15:45 +0000)]
catch SIGTERM and log a "bye" message

21 years ago- bugfix: display exit message only when uwobo master process exits
Stefano Zacchiroli [Fri, 17 Jan 2003 15:41:38 +0000 (15:41 +0000)]
- bugfix: display exit message only when uwobo master process exits
- bumped log level to `Notice

21 years ago- removed debugging messages while setting output properties
Stefano Zacchiroli [Fri, 17 Jan 2003 15:16:56 +0000 (15:16 +0000)]
- removed debugging messages while setting output properties
- fixed copyright notice

21 years ago- generalized sysLogger class so that it logs to a generic output
Stefano Zacchiroli [Fri, 17 Jan 2003 15:14:53 +0000 (15:14 +0000)]
- generalized sysLogger class so that it logs to a generic output
  channel, now it can be used to log also to files, sockets, ...
- better pretty printing of debugging messages: timestamps added
- fixed copyright notice

21 years ago- removed useless thread stuff
Stefano Zacchiroli [Fri, 17 Jan 2003 15:12:35 +0000 (15:12 +0000)]
- removed useless thread stuff
- fixed copyright notice

21 years ago- removed thread stuff
Stefano Zacchiroli [Fri, 17 Jan 2003 15:11:55 +0000 (15:11 +0000)]
- removed thread stuff
- moved here http response facilities
- moved here usage string
- removed useless debugging functions
- removed useless threadSafe class
- fixed copyright notice

21 years agoMAJOR CHANGES:
Stefano Zacchiroli [Fri, 17 Jan 2003 15:10:28 +0000 (15:10 +0000)]
MAJOR CHANGES:
- doesn't use thread anymore, use process with a master process which
  uses two pipes to chat about stylesheets related changes, if the
  stylesheet list needs a change master process kills the child process
  holding the Http daemon, performs the needed changes to the stylesheet
  list and runs a new Http daemon child process
MINOR CHANGES:
- disabled debugging by default
- use logfile support and log to "uwobo.log" by default
- changed default port to 58080
- moved http response facilities to Uwobo_common
- moved usage string to Uwobo_common
- fixed copyright notice

21 years agomention sockets' shutdown
Stefano Zacchiroli [Fri, 17 Jan 2003 14:50:23 +0000 (14:50 +0000)]
mention sockets' shutdown

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