[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-24
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-24 |
Date: |
Sun, 12 Jun 2005 19:06:00 +0200 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--dev--0.5--patch-24,
David <=