Re: [PATCH] small fix for ServerSocket close

[Michael Koch]

On Thu, Nov 13, 2003 at 06:47:30PM +0100, Mark Wielaard wrote:
> Hi,
> 
> On Thu, 2003-11-13 at 15:35, Dalibor Topic wrote:
> > attached is a small fix for ServerSocket's close method. It fixes a 
> > NullPointerException when attempting to close a ServerSocket twice.
> 
> Thanks. Checked in as obvious. Only slightly reformatted the ChangeLog
> entry.
> 
> 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.

I think it would be really nice i you could commit this to libgcj too.
This class is totally merged.


Michael