How can I redirect HTTP to HTTPS in JBoss 5.0.1?

    I have a customer using Jboss 5.0.1 GA and trying to redirect HTTP to HTTPS on port 443.


    I have been able to do this in JBoss 4.0.5 by:


    1) After setting the HTTPS port for 443, uncommenting the commented out HTTP section of the JBoss_Home\server\my_domain\deploy\jbossweb-tomcat55.sar\server.xml, and


    2)Updating the ..\deploy\jbossweb-tomcat55.sar\conf\web.xml file with the following addition:


    <web-resource-name>Protected Context</web-resource-name>
    <user-data-constraint> <transport-guarantee>CONFIDENTIAL</transport-guarantee>



    This doesn't seem to work in JBoss 5.0.1, in that it appears that I am trying to redirect to the default port of 8443, not the 443 entered into the server.xml referenced above.


    If anyone has done this or has an idea of where I am going wrong, I would appreciate your help.



    Frank M.