[PATCH] small fix for ServerSocket close

[Dalibor Topic]

Hi all,

attached is a small fix for ServerSocket's close method. It fixes a 
NullPointerException when attempting to close a ServerSocket twice.

2003-11-13  Guilhem Lavaux <address@hidden>
        * java/net/ServerSocket.java:
        (close) Check if server socket has already been released,
        before attepting to close it.

--- /var/tmp/PROJECTS/classpath//./java/net/ServerSocket.java   Fri Oct 17 
19:05:29 2003
+++ java/net/ServerSocket.java  Wed Oct 22 21:32:21 2003
@@ -339,7 +339,8 @@
    */
   public void close () throws IOException
   {
-    impl.close ();
+    if (impl != null)
+      impl.close ();
 
     if (getChannel() != null)
       getChannel().close ();