gatein/gatein-portal — pull request #204 by michalvanco (2012-10-11 11:52:01+00:00)
Title: Changes needed for standalone-ha.xml: GTNPORTAL-2488 (exception on session timeout), GTNPORTAL-2639 (do not deploy extensions by default)

Missing changes at standalone.xml - caused problems with clustering