gatein/gatein-portal — pull request #776 by lucasponce (2014-01-24 12:26:06+00:00)
Title: GTNPORTAL-3385 Support full-ha and ha profiles in domain mode

To merge in master and 3.6.x branches.