[Demexp-cvs] arch commit: demexp--development--0.1--patch-95

[David]

Revision: demexp--development--0.1--patch-95
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb  8 20:22:39 CET 2004
Standard-date: 2004-02-08 19:22:39 GMT
New-files: srv/.arch-ids/binio.ml.nw.id srv/binio.ml.nw
Modified-files: Makefile config.ml srv/classification.ml.nw
    srv/delegation.ml.nw srv/demexp-server-book.tex
    srv/demexp-server.ml.nw srv/participants.ml.nw
    srv/posbase.ml.nw {arch}/=tagging-method
New-patches: address@hidden/demexp--development--0.1--patch-95
Summary: Server: added saving and loading of bases in binary format
Keywords: 

* Creation of server module Binio (Binary I/O) to save & restore bases
  in binary format. Default base name is "bases.dmxp"

* Added automatic loading and saving of bases (WARNING: NOT thread safe)

* Modified Classification.the_classification_base so that it no longer
  contains a closure

* Modified Makefile so that the file "bases.dmxp" is automatically
  erased otherwise autotests fail

* Modified all bases (the_*_base) such that they are now references on
  the bases themselves, to allow easy loading and saving

* Added *.dmxp files are junk files (i.e. do not consider them) for Arch