Fix bug 837942: Redirect /ports to archive.
Merge pull request #993 from openjck/837942-redirect-ports

Fix bug 837942: Redirect /ports to archive.