diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-05-04 15:55:41 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-05-08 12:18:19 +0900 |
commit | 4db7dbdb4ae5426ab133b3844ea2a6889c6897d7 (patch) | |
tree | cbe97e36732a0e6bfb874b2cd0027ee2ba87f0fe /refs/ref-cache.c | |
parent | add_commit_patch_id(): avoid allocating memory unnecessarily (diff) | |
download | tgif-4db7dbdb4ae5426ab133b3844ea2a6889c6897d7.tar.xz |
git_config_rename_section_in_file(): avoid resource leak
In case of errors, we really want the file descriptor to be closed.
Discovered by a Coverity scan.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'refs/ref-cache.c')
0 files changed, 0 insertions, 0 deletions