Changeset 3178

Timestamp:

2002-06-25T11:45:14+12:00 (22 years ago)

Author:

kjdon

Message:

fixed an obscure IE bug - it was adding a port number of -1 to the url

• in tidy_URL

File:

• trunk/gsdl/src/java/org/nzdl/gsdl/Phind/Phind.java (modified) (3 diffs)

trunk/gsdl/src/java/org/nzdl/gsdl/Phind/Phind.java

@@ -492 +492 @@
     String tidy_URL(String address, boolean isCGI) {
 
-    // System.out.println("tidy URL: " + address);
+    // System.err.println("tidy URL: " + address);
     
     // make sure the URL has protocol, host, and file
@@ -500 +500 @@
         // there is not protocol and host
         URL document = getDocumentBase();
-        address = "http://" + document.getHost() + ":" + document.getPort() + address;
+        String port = "";
+        if (document.getPort()!=-1) {
+        port = ":" + document.getPort();
+        }
+        address = "http://" + document.getHost() + port  + address;
     } else {
         // this URL is relative to the directory the document is in
@@ -506 +510 @@
         String directory = document.getFile();
         int end = directory.lastIndexOf('/');
+        String port = "";
+        if (document.getPort()!=-1) {
+        port = ":" + document.getPort();
+        }
         directory = directory.substring(0,end + 1);
-        address = "http://" + document.getHost() + ":" + document.getPort() + directory + address;
+        address = "http://" + document.getHost() + port + directory + address;
 
     }