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

[David]

Revision: demexp--development--0.1--patch-108
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 15 18:35:07 CET 2004
Standard-date: 2004-02-15 17:35:07 GMT
Modified-files: Makefile config.ml srv/basesctrl.ml.nw
    srv/binio.ml.nw srv/demexp-server-book.tex
    srv/demexp-server.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-108
Summary: Locking of bases done => real multi-threaded server
Keywords: 

* Reorganized Makefile module order for server so that locks can be used
  by code doing base modifications.

* Renamed Basesctrl.lock -> Basesctrl.lock_bases.

* Do actual locking of bases depending of action type requested by
  client.

* Fixed a bug in srv/demexp-server.ml.nw in autotests mode where the
  client was launched before opening the main server socket.