https://defect.opensolaris.org/bz/show_bug.cgi?id=18754
--- Comment #4 from Knut Anders Hatlen <[email protected]> 2011-12-13 14:12:17 UTC --- Do we need to change this part too, perhaps? int port = request.getServerPort(); if (port != 80) { url.append(':').append(request.getServerPort()); } We should probably only strip away port 80 from the URL if the protocol is HTTP, and we could strip away port 443 if it's HTTPS. -- Configure bugmail: https://defect.opensolaris.org/bz/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ opengrok-dev mailing list [email protected] http://mail.opensolaris.org/mailman/listinfo/opengrok-dev
