Re: trouble w/ synchronized close method in PushbackInputStream

On Sat, Nov 8, 2008 at 8:50 AM, Tom Tromey <[email protected]> wrote:

> Could you file this in bugzilla?
> That way at least it won't get lost.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37983

> Or, send a patch :-)

Well, this is what I did to get it to work.

$ cat PushbackInputStream.java-deadlock-patch
--- PushbackInputStream.java-original   2008-10-31 11:41:41.000000000 -0600
+++ PushbackInputStream.java    2008-10-31 16:24:25.000000000 -0600
@@ -131,7 +131,7 @@
    *
    * @exception IOException If an error occurs.
    */
-  public synchronized void close() throws IOException
+  public void close() throws IOException
   {
     buf = null;
     super.close();


FWIW & HTH.

Robert Dodier