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

[David]

Revision: demexp--dev--0.5--patch-39
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Jun 24 23:41:12 CEST 2005
Standard-date: 2005-06-24 21:41:12 GMT
Modified-files: gtk2-clnt/browser.ml.nw
    gtk2-clnt/cache.ml.nw
    gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/url.ml.nw
    lib/perf.ml.nw net/messages.xdr.nw
    srv/demexp-server.ml.nw srv/work.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-39
Summary: new RPC server_timers() and new URL demexp://server/server_timers
Keywords: net, client, server

* net/messages.xdr.nw
  srv/Work: new RPC server_timers() that returns the value of
  performance timers of the server as a string.

* lib/Perf: new function "timers_as_string", we reformated output.

* gtk2-clnt/Url
  gtk2-clnt/demexp-gtk2-client.ml.nw: new URL format
  "demexp://server/server_timers" that print its result on stdout.

* gtk2-clnt/Browser
  gtk2-clnt/Cache: update timer location to measure performance of RPC
  question_info(), participant_info() and tag_info().