diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-05-04 15:55:52 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-05-08 12:18:19 +0900 |
commit | e7b65e205af88755567c3283ee29ca9fb9af11a9 (patch) | |
tree | e332ae5d1d7504fb800fc0f8d3ea00d4151db0a7 | |
parent | difftool: address a couple of resource/memory leaks (diff) | |
download | tgif-e7b65e205af88755567c3283ee29ca9fb9af11a9.tar.xz |
status: close file descriptor after reading git-rebase-todo
Reported via Coverity.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | wt-status.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/wt-status.c b/wt-status.c index 0375484962..0a6e16dbe0 100644 --- a/wt-status.c +++ b/wt-status.c @@ -1168,6 +1168,7 @@ static int read_rebase_todolist(const char *fname, struct string_list *lines) abbrev_sha1_in_line(&line); string_list_append(lines, line.buf); } + fclose(f); return 0; } |