|
From: | Per Bothner |
Subject: | [Bug-kawa] [bug #14936] resource leak using format |
Date: | Mon, 14 Nov 2005 18:45:25 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.8) Gecko/20051025 Firefox/1.5 |
Update of bug #14936 (project kawa): Status: None => In Progress _______________________________________________________ Follow-up Comment #2: Thanks. However, a flush immediate before a close is (or should be) redundant. So instead of: out.flush(); + out.close(); could you try: - out.flush(); + out.close(); as appropriate? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=14936> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |