[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--development--0.1--patch-95
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--development--0.1--patch-95 |
Date: |
Sun, 08 Feb 2004 20:22:56 +0100 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--development--0.1--patch-95,
David <=