diff tests/revlog-formatv0.py @ 32809:062eb859d3ee

profile: close 'fp' in all cases There are no way for this to happen today, but better be safe than sorry, no one know how the code will evolve. We now make sure the file pointer is closed even is profiler is None.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Mon, 12 Jun 2017 17:25:37 +0200
parents 05982f7ab231
children 3e3f4c03876b
line wrap: on
line diff