Paolo Marinelli [Thu, 6 Feb 2003 11:53:48 +0000 (11:53 +0000)]
Added some controls to handle the case in which the user type an unexpected '{'
character. Now, the editor doesn't crash, but emit an error.
Removed some debug messages.
Claudio Sacerdoti Coen [Wed, 5 Feb 2003 12:46:20 +0000 (12:46 +0000)]
Makefile.common.in and .depend backtracked to my last commit (before the
ones of Ferruccio) and then modified. Dependencies between a file and a
library are now handled correctly.
Ferruccio Guidi [Wed, 5 Feb 2003 11:42:52 +0000 (11:42 +0000)]
packege dependences calculation patched
Claudio Sacerdoti Coen [Wed, 5 Feb 2003 11:28:41 +0000 (11:28 +0000)]
Missing parameters added to MathML Content mode.
Ferruccio Guidi [Wed, 5 Feb 2003 11:09:48 +0000 (11:09 +0000)]
package dependences calulation fixed
Ferruccio Guidi [Tue, 4 Feb 2003 19:08:28 +0000 (19:08 +0000)]
SQL quoting fixed in relation.ml
Paolo Marinelli [Tue, 4 Feb 2003 16:21:10 +0000 (16:21 +0000)]
Added some controls for the graphical deleting of apostrophe.
The code for the graphical deleting is now divided in several private methods, which
make the code clearer.
Partially added the use of the logger in the class TPushParser.
Some little errors has been eliminated in the implementation of the class
TPushParser.
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:17:02 +0000 (12:17 +0000)]
print_endline ==> prerr_endline
and other minor code improvements
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:15:15 +0000 (12:15 +0000)]
Bug fixed: ' must be quoted.
Claudio Sacerdoti Coen [Tue, 4 Feb 2003 12:14:03 +0000 (12:14 +0000)]
Bug fixed: "'" must be quoted.
Ferruccio Guidi [Mon, 3 Feb 2003 21:19:35 +0000 (21:19 +0000)]
old file removed
Stefano Zacchiroli [Mon, 3 Feb 2003 20:56:01 +0000 (20:56 +0000)]
added generation of LaTeX documentation
Stefano Zacchiroli [Mon, 3 Feb 2003 20:50:05 +0000 (20:50 +0000)]
updated
Stefano Zacchiroli [Mon, 3 Feb 2003 20:49:55 +0000 (20:49 +0000)]
added a lot of ocamldoc comments
Stefano Zacchiroli [Mon, 3 Feb 2003 20:48:48 +0000 (20:48 +0000)]
- added GPL preamble
- added a lot of ocamldoc comments
Stefano Zacchiroli [Mon, 3 Feb 2003 20:48:14 +0000 (20:48 +0000)]
- added GPL preamble
- added some ocamldoc comments
Stefano Zacchiroli [Mon, 3 Feb 2003 20:47:29 +0000 (20:47 +0000)]
added GPL preamble
Stefano Zacchiroli [Mon, 3 Feb 2003 20:47:03 +0000 (20:47 +0000)]
fixed a syntax quirk to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:46:34 +0000 (20:46 +0000)]
moved an ocamldoc comment to .mli
Stefano Zacchiroli [Mon, 3 Feb 2003 20:44:35 +0000 (20:44 +0000)]
spacing to make ocamldoc happy
Stefano Zacchiroli [Mon, 3 Feb 2003 20:40:56 +0000 (20:40 +0000)]
bugfix: catch new exceptions for unsupported HTTP versions and methods
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:48 +0000 (20:38 +0000)]
ignore .dot and .ps files
Stefano Zacchiroli [Mon, 3 Feb 2003 20:38:11 +0000 (20:38 +0000)]
added GPL preamble
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
Stefano Zacchiroli [Mon, 3 Feb 2003 20:35:53 +0000 (20:35 +0000)]
added generation of dot modules dependency graph
Ferruccio Guidi [Mon, 3 Feb 2003 17:27:45 +0000 (17:27 +0000)]
new interface for text_of_query/text_of_result + bug fixes
Claudio Sacerdoti Coen [Mon, 3 Feb 2003 11:08:36 +0000 (11:08 +0000)]
What was the semantics of passing an empty prop.encoding?
Luca Padovani [Sat, 1 Feb 2003 17:49:39 +0000 (17:49 +0000)]
* created a separate namespace for DOM extensions
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
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.
Luca Padovani [Wed, 29 Jan 2003 18:15:56 +0000 (18:15 +0000)]
* some small bug fixes
* updated licenses in all source files
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
Luca Padovani [Tue, 28 Jan 2003 14:57:55 +0000 (14:57 +0000)]
* added refs to the pointers passed on the signal handler!!!
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".
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
Stefano Zacchiroli [Sat, 25 Jan 2003 09:30:26 +0000 (09:30 +0000)]
bugfix: added some missing deps
Stefano Zacchiroli [Fri, 24 Jan 2003 15:32:44 +0000 (15:32 +0000)]
exported hbugsClient class so that it can be used from outside
Stefano Zacchiroli [Fri, 24 Jan 2003 12:51:03 +0000 (12:51 +0000)]
debian release 0.3.99-1
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:33 +0000 (12:50 +0000)]
changed version number to 0.3.99
Stefano Zacchiroli [Fri, 24 Jan 2003 12:50:13 +0000 (12:50 +0000)]
added warning comment about using unstable stuff
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
Stefano Zacchiroli [Fri, 24 Jan 2003 12:34:24 +0000 (12:34 +0000)]
debian release 0.0.3-3
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)
Claudio Sacerdoti Coen [Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)]
method HTML forced for html output
Stefano Zacchiroli [Wed, 22 Jan 2003 11:48:57 +0000 (11:48 +0000)]
client's GUI no longer visible by default
Stefano Zacchiroli [Tue, 21 Jan 2003 14:41:56 +0000 (14:41 +0000)]
binding to gtkmathview 0.3.1
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)
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.
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
Stefano Zacchiroli [Fri, 17 Jan 2003 16:09:53 +0000 (16:09 +0000)]
changed log file permission to 0o640
Stefano Zacchiroli [Fri, 17 Jan 2003 16:07:09 +0000 (16:07 +0000)]
kill HTTP child on exit
Stefano Zacchiroli [Fri, 17 Jan 2003 15:45:39 +0000 (15:45 +0000)]
catch SIGTERM and log a "bye" message
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
Stefano Zacchiroli [Fri, 17 Jan 2003 15:16:56 +0000 (15:16 +0000)]
- removed debugging messages while setting output properties
- fixed copyright notice
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
Stefano Zacchiroli [Fri, 17 Jan 2003 15:12:35 +0000 (15:12 +0000)]
- removed useless thread stuff
- fixed copyright notice
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
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
Stefano Zacchiroli [Fri, 17 Jan 2003 14:50:23 +0000 (14:50 +0000)]
mention sockets' shutdown
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)
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
Stefano Zacchiroli [Fri, 17 Jan 2003 14:48:09 +0000 (14:48 +0000)]
added 'highlander' example to test fast rebinding of daemon's port
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:52 +0000 (14:45 +0000)]
removed thread support options
Stefano Zacchiroli [Fri, 17 Jan 2003 14:45:29 +0000 (14:45 +0000)]
rebuilt
Stefano Zacchiroli [Wed, 15 Jan 2003 14:33:26 +0000 (14:33 +0000)]
added loading of stylesheets on start/restart
Stefano Zacchiroli [Wed, 15 Jan 2003 14:28:48 +0000 (14:28 +0000)]
snapshot
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
Stefano Zacchiroli [Wed, 15 Jan 2003 13:39:21 +0000 (13:39 +0000)]
- no 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"'
Stefano Zacchiroli [Wed, 15 Jan 2003 12:16:17 +0000 (12:16 +0000)]
changed default behavior of the "all:" target, now builds only bytecode
Stefano Zacchiroli [Wed, 15 Jan 2003 11:32:33 +0000 (11:32 +0000)]
removed generated output.xml from EXTRA_DIST
Stefano Zacchiroli [Wed, 15 Jan 2003 11:28:09 +0000 (11:28 +0000)]
bugfix: added "std" namespace where needed
Stefano Zacchiroli [Wed, 15 Jan 2003 11:23:06 +0000 (11:23 +0000)]
added build-dep on libgdome2-cpp-smart-dev
Stefano Zacchiroli [Fri, 10 Jan 2003 17:23:12 +0000 (17:23 +0000)]
debugging print of HTTP request's parsing errors
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
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
Stefano Zacchiroli [Fri, 10 Jan 2003 09:45:57 +0000 (09:45 +0000)]
rebuilt
Stefano Zacchiroli [Fri, 10 Jan 2003 09:39:20 +0000 (09:39 +0000)]
added support for "ancient" HTTP requests like "GET /foo"
Stefano Zacchiroli [Fri, 10 Jan 2003 09:39:02 +0000 (09:39 +0000)]
added two TODO items:
- authentication
- hostname in ~addr parameter
Stefano Zacchiroli [Fri, 10 Jan 2003 09:18:44 +0000 (09:18 +0000)]
specified type for Http_types.request objects
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
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
Stefano Zacchiroli [Fri, 10 Jan 2003 09:11:05 +0000 (09:11 +0000)]
fixed copyright notice and helm web page url
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:47 +0000 (09:10 +0000)]
added dep on 'http' module
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:34 +0000 (09:10 +0000)]
- moved here respond_exc and respond_msg from broker/
Stefano Zacchiroli [Fri, 10 Jan 2003 09:10:09 +0000 (09:10 +0000)]
implemented random id generation
Stefano Zacchiroli [Fri, 10 Jan 2003 09:08:57 +0000 (09:08 +0000)]
rebuilt
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
Stefano Zacchiroli [Fri, 10 Jan 2003 09:07:55 +0000 (09:07 +0000)]
added dependency on 'http' library
Stefano Zacchiroli [Fri, 10 Jan 2003 09:06:22 +0000 (09:06 +0000)]
first client implementation as a standalone application
Stefano Zacchiroli [Fri, 10 Jan 2003 09:05:58 +0000 (09:05 +0000)]
added client/ subdir
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
Paolo Marinelli [Thu, 9 Jan 2003 16:13:59 +0000 (16:13 +0000)]
* code cleanup
* removed useless source files
Stefano Zacchiroli [Thu, 9 Jan 2003 11:29:09 +0000 (11:29 +0000)]
- added debugging print of request 1st line
Luca Padovani [Thu, 9 Jan 2003 11:22:22 +0000 (11:22 +0000)]
Initial revision
Stefano Zacchiroli [Thu, 9 Jan 2003 07:57:26 +0000 (07:57 +0000)]
- shows also version in usage string
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
Stefano Zacchiroli [Thu, 9 Jan 2003 07:49:20 +0000 (07:49 +0000)]
- added some TODO comments
Stefano Zacchiroli [Wed, 8 Jan 2003 18:00:28 +0000 (18:00 +0000)]
- added TODO about cache expires control
Stefano Zacchiroli [Wed, 8 Jan 2003 17:51:48 +0000 (17:51 +0000)]
- added debugging log messages inside 'wget'