tree 3b2b2b377596b9fabc828729611840d827175ae1
parent 2a83cc61d6bd96dc05008039703827ec0438cf9c
author Éric Araujo <merwok@netwok.org> 1302905619 +0200
committer Éric Araujo <merwok@netwok.org> 1302905619 +0200

Fix double use of f.close().

The other one is in a finally block not seen in the diff, which I added
in 3bf86785cd9c (for #10252).