Possibly. Can you think of a case where the behaviour would be incorrect after close() has been called?
John Leuner
----- Forwarded message from Sascha Brawer <br...@ac...> -----
>From jleuner Mon Apr 8 07:25:48 2002
Envelope-to: jleuner@localhost
Delivery-date: Mon, 08 Apr 2002 07:25:48 +0100
From: Sascha Brawer <br...@ac...>
Subject: GZIPInputStream.close()
To: John Leuner <je...@pi...>
Hi John,
while reading the Classpath code in java.util.zip.GZIPInputStream, I was
wondering whether the close() method might need to do anything else
besides invoking the implementation of its superclass.
What do you think?
Best regards,
-- Sascha
----- End forwarded message -----
|