List of utility methods to do URI to Port
int | getPort(URI uri) get Port if (uri.getPort() != -1) { return uri.getPort(); if ("https".equals(uri.getScheme())) { return 443; return 80; |
int | getPort(URI uri) get Port int port = uri.getPort(); if (port == -1) { if ("https".equals(uri.getScheme())) port = 443; else port = 80; return port; ... |
int | getPortFromURI(final URI uri) Get the port from the URI in iRODS form. return uri.getPort();
|