[Demexp-cvs] arch commit: demexp--development--0.3--patch-22

[David]

Revision: demexp--development--0.3--patch-22
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Thu Jul 15 23:30:35 CEST 2004
Standard-date: 2004-07-15 21:30:35 GMT
Modified-files: net/messages.xdr.nw srv/demexp-server.ml.nw
    srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-22
Summary: create machinery to store client context
Keywords: 

* srv/Work: create machinery to store client context, with cookie
  generation. Use it at rpc login() call. Create initialization function
  and use it in demexp-server. Delete an uneeded exception
  (Stop_serving_client).