What immediately comes to mind is to use Apache HTTPD and have it take care of the port
forwarding.
It's not clear why you need to do what you're doing.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4068333#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...