[Demexp-cvs] arch commit: demexp--dev--0.7--patch-55

[David]

Revision: demexp--dev--0.7--patch-55
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 19 14:38:46 CET 2006
Standard-date: 2006-02-19 13:38:46 GMT
Modified-files: gtk2-clnt/miscUI.ml.nw lib/misc.ml.nw
    po/fr.po
New-patches: address@hidden/demexp--dev--0.7--patch-55
Summary: Catch and print meaningful error message for Rpc.Rcp_server errors
Keywords: client, lib

* po/fr.po

  New translations.

* gtk2-clnt/miscUI.ml.nw

  Catch and print a message for Rpc.Rcp_server errors.

* lib/misc.ml.nw

  New function "string_of_server_error" to transform a Rpc.Rcp_server
  error into a printable string.