Fix bug 824126: Conditionally redirect /ports/os2
Merge pull request #1132 from openjck/824126-redirect-ports-os2

Fix bug 824126: Conditionally redirect /ports/os2