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

[David]

Revision: demexp--dev--0.5--patch-24
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jun 12 19:05:38 CEST 2005
Standard-date: 2005-06-12 17:05:38 GMT
Modified-files: gtk2-clnt/browser.ml.nw
    gtk2-clnt/clntflags.ml.nw
    gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/url.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-24
Summary: handle demexp URLs in client
Keywords: client

* gtk2-clnt/Url: new URL format "demexp://server[:port]/stop_server" to
  request a server to be put on halt.

* gtk2-clnt/Clntflags
  gtk2-clnt/demexp-gtk2-client.ml.nw:

  - remove options: -q and --stop-server, they are now handled by a
    demexp URL;

  - for each URL given in the command line, open a demexp browser on it.
    Code modified to handle several browsers simultaneously.