Changeset 5326

Timestamp:

2003-08-28T12:45:55+12:00 (21 years ago)

Author:

jmt12

Message:

Added getPort()

File:

• trunk/gli/src/org/greenstone/gatherer/util/GURL.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/util/GURL.java

@@ -150 +150 @@
     }
 
+    public int getPort() {
+    return url.getPort();
+    }
+
     public String getProtocol() {
     String protocol = url.getProtocol();