[Demexp-cvs] arch commit: demexp--dev--0.5--patch-69

[David]

Revision: demexp--dev--0.5--patch-69
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Aug  5 22:13:04 CEST 2005
Standard-date: 2005-08-05 20:13:04 GMT
Modified-files: config/config.inc.ml
    gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/misc.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-69
Summary: In client, change behavior in case of login error and default setting
Keywords: client

* gtk2-clnt/Misc: produce meaningful error message for rt_bad_login
  error code.

* config/config.inc.ml: default server for client is
  "tuxinette.linux-france.org", port 50000.

* gtk2-clnt/demexp-gtk2-client.ml.nw: in case of login error, the client
  now continues to connect to the server, in order to browse the
  position base.