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

[David]

Revision: demexp--dev--0.7--patch-19
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Sep 23 15:14:01 CEST 2005
Standard-date: 2005-09-23 13:14:01 GMT
Modified-files: gtk2-clnt/browser.ml.nw
    gtk2-clnt/clsf.ml.nw gtk2-clnt/tags.ml.nw
    lib/cache.ml.nw web/addResponse.ml.nw web/browse.ml.nw
    web/session.ml.nw web/voteWeb.ml.nw
New-patches: address@hidden/demexp--dev--0.7--patch-19
Summary: (code refactoring) Handle error through exceptions
Keywords: web

* lib/Cache

  Cache module no longer takes a function "user_msg" to display
  errors. Instead, it raises an exception Misc.Display_error.

* gtk2-clnt/Browser
  gtk2-clnt/Clsf
  gtk2-clnt/Tags

  Update gtk2-clnt/ modules to take into account new Cache interface.

* web/AddResponse
  web/Browse
  web/Session
  web/VoteWeb

  Update web/ modules to take into account new Cache interface and setup
  exception handler to print errors message when needed. This removes
  duplicated code and adds systematic error handling.

  We also do some code cleanup, explicitely naming used modules.