* gnu/java/net/protocol/http/HttpURLConnection.java: fixed NullPointerException.

* gnu/java/net/protocol/http/Handler.java: override getDefaultPort() to return 80

2 files changed, 11 insertions, 1 deletions

diff --git a/gnu/java/net/protocol/http/Handler.java b/gnu/java/net/protocol/http/Handler.java
index 9bc79f2c4..a9a04d855 100644
--- a/gnu/java/net/protocol/http/Handler.java
+++ b/gnu/java/net/protocol/http/Handler.java
@@ -91,5 +91,14 @@ openConnection(URL url) throws IOException
   return(new gnu.java.net.protocol.http.HttpURLConnection(url));
 }
 
+
+/**
+ * Returns the default port for a URL parsed by this handler.
+ */
+protected int getDefaultPort ()
+{
+  return 80;
+}
+
 } // class Handler
 
diff --git a/gnu/java/net/protocol/http/HttpURLConnection.java b/gnu/java/net/protocol/http/HttpURLConnection.java
index 71d8529ae..615a00529 100644
--- a/gnu/java/net/protocol/http/HttpURLConnection.java
+++ b/gnu/java/net/protocol/http/HttpURLConnection.java
@@ -291,7 +291,8 @@ disconnect()
 {
   try
     {
-      socket.close();
+      if (socket != null)
+	socket.close();
     }
   catch(IOException e) { ; }
 }