Patch: java/io/

Tom Tromey
Mon Dec 25 12:55:00 GMT 2000

>>>>> "Jeff" == jeff sturm <> writes:

Jeff> This fixes a bug in which uninitialized FileDescriptor objects
Jeff> accidentally close stdin when finalized.  (This occurs when
Jeff> attempting to open a nonexistent file, for instance.)

Thanks.  I'm going to check this in soon.  I added a comment
explaining the initialization of `fd'.


More information about the Java-patches mailing list