[Demexp-dev] multiple server in client & demexp urls

[David MENTRE]

Hello,

For your information, latest developer version of demexp supports
multiple server simultaneously and can use demexp URLs.

I find those features quite nice. :)


>From changelog:

2005-06-12 19:51:25 GMT David MENTRE <address@hidden> patch-25

    Summary:
      preferences now support multiple servers and is put in HOME/.demexp/
    Revision:
      demexp--dev--0.5--patch-25

    * Makefile: brown paper bag fix: set warning as error for all compiled
      programs!
    
    * gtk2-clnt/Pref: rewrite Pref module:
    
      - it can now handle serveral servers simultaneously;
    
      - it saves configuration information in $HOME/.demexp/ directory;
    
      - login information is saved in $HOME/.demexp/logins.
    
    * gtk2-clnt/Browser
      gtk2-clnt/demexp-gtk2-client: use new Pref module. Modify code so that
      each browser window has its preference filed, configured for its
      server. All server:port information is now passed through a pref
      object.
    

    modified files:
     Makefile gtk2-clnt/browser.ml.nw gtk2-clnt/clntflags.ml.nw
     gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/pref.ml.nw


2005-06-12 17:05:38 GMT David MENTRE <address@hidden> patch-24

    Summary:
      handle demexp URLs in client
    Revision:
      demexp--dev--0.5--patch-24

    * 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.

    modified files:
     gtk2-clnt/browser.ml.nw gtk2-clnt/clntflags.ml.nw
     gtk2-clnt/demexp-gtk2-client.ml.nw gtk2-clnt/url.ml.nw


2005-06-12 16:12:16 GMT David MENTRE <address@hidden> patch-23

    Summary:
      new module Url to parse demexp URLs
    Revision:
      demexp--dev--0.5--patch-23

    * Makefile
      gtk2-clnt/Url: new module Url to parse demexp URLs (with autotests).
    
      Recognized URLs are: demexp://server[:port]
                           demexp://server[:port]/browse/question/78
                           demexp://server[:port]/vote/question/78

    new files:
     gtk2-clnt/.arch-ids/url.ml.nw.id gtk2-clnt/url.ml.nw

    modified files:
     Makefile gtk2-clnt/demexp-gtk2-client-book.tex


Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A