From: Adam Chlipala Date: Wed, 20 Jun 2007 23:43:21 +0000 (+0000) Subject: Remove catchAllAlias in favor of defaultAlias; add better handling of slave servers... X-Git-Tag: release_2010-11-19~193 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/16465a9ab10d41506006aa27499513a42d2b7de6?hp=16465a9ab10d41506006aa27499513a42d2b7de6;ds=inline Remove catchAllAlias in favor of defaultAlias; add better handling of slave servers being down ---