Hi Eric,
You would need to configure redirect server like this:
rerver redirect redirect_http_https
webhost-redirection https://%h%p:8443 ; <<<<port specified
inservice
Now for HTTPS requests to get redirected we need to be able to look into the HTTP header and that is possible if SSL offloading is happening on ACE. For HTTP requests it should be fine but you would need to upload certificate and key on ACE for ACE to decrypt https request, look into the header and send a redirect.
But yes, you can mention the port and it should redirect to 8443.
Regards,
Kanwal
Note: Please mark answers if they are helpful.