gatein/gatein-portal — pull request #65 by mwringe (2012-07-03 01:24:16+00:00)
Title: Device detection and redirection

Imported patch over from messed up branch, which is hopefully now fixed.
- redirection is loaded from the portal.xml conf file
- redirection configuration is stored in the jcr
- redirection service added along with a default 'mobile' site for use
when a mobile browser accesses the page