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

[David]

Revision: demexp--development--0.1--patch-96
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb  8 21:26:01 CET 2004
Standard-date: 2004-02-08 20:26:01 GMT
Modified-files: Makefile config.ml srv/binio.ml.nw
    srv/demexp-server.ml.nw srv/srvflags.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-96
Summary: Server: new option --bases
Keywords: 

* Added server option --bases to set filename to use to load/store bases

* Updated Makefile to use this option when doing autotests (using
  /tmp/bases.dmxp). This avoids clutering local base if it exists

* Base saving is done after each client action

* Reduced log output for loading and saving functions