I have a fresh installed of a small/single box deployment of Filr 2.0 with the latest hot patch, 437. I enabled the Port 443 redirect to 8443 for tomcat and I ended port 80 w/force secure redirect as shown here:

Screen Shot 2016-05-27 at 2.40.12 PM.png

The 443 redirect works just fine (i.e. you can go right to https://mysever). But if you hit the Filr box on port 80, it sends the user to 8443, not 443 (i.e. http://mysever redirects to https://myserver:8443). I've tried unselecting/updating/reselecting but no matter what it sends port 80 users to 8443. Is this a known issue and is there any work around?