[hcoop-cvs] domtool2/configDefault apache.cfg,1.17,1.18

2007-06-20 Thread Adam Chlipala
Update of /cvsroot/hcoop/domtool2/configDefault In directory sc8-pr-cvs17:/tmp/cvs-serv32037/configDefault Modified Files: apache.cfg Log Message: New mod_waklog version Index: apache.cfg === RCS file: /cvsroot/hcoop/domtool

[hcoop-cvs] domtool2/src/plugins apache.sml,1.45,1.46

2007-06-20 Thread Adam Chlipala
Update of /cvsroot/hcoop/domtool2/src/plugins In directory sc8-pr-cvs17:/tmp/cvs-serv32037/src/plugins Modified Files: apache.sml Log Message: New mod_waklog version Index: apache.sml === RCS file: /cvsroot/hcoop/domtool2/sr

[hcoop-cvs] domtool2/src main.sml,1.73,1.74 openssl.sml,1.8,1.9

2007-06-20 Thread Adam Chlipala
Update of /cvsroot/hcoop/domtool2/src In directory sc8-pr-cvs17:/tmp/cvs-serv30504/src Modified Files: main.sml openssl.sml Log Message: Remove catchAllAlias in favor of defaultAlias; add better handling of slave servers being down Index: openssl.sml

[hcoop-cvs] domtool2/lib alias.dtl, 1.5, 1.6 easy_domain.dtl, 1.8, 1.9

2007-06-20 Thread Adam Chlipala
Update of /cvsroot/hcoop/domtool2/lib In directory sc8-pr-cvs17:/tmp/cvs-serv30504/lib Modified Files: alias.dtl easy_domain.dtl Log Message: Remove catchAllAlias in favor of defaultAlias; add better handling of slave servers being down Index: easy_domain.dtl ===