[Bug-kawa] [bug #14936] resource leak using format

[Per Bothner]

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/