diff options
author | Jeff King <peff@peff.net> | 2014-09-13 16:19:38 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-09-15 11:39:54 -0700 |
commit | 3907a4078a89cffde2e2e0e61a3bd41efba96c49 (patch) | |
tree | bd5ad6621db53131f3e3362b1f5a0fe21256594b /git-pull.sh | |
parent | make update-server-info more robust (diff) | |
download | tgif-3907a4078a89cffde2e2e0e61a3bd41efba96c49.tar.xz |
server-info: clean up after writing info/packs
We allocate pack information in a static global list but
never clean it up. This leaks memory, and means that calling
update_server_info twice will generate a buggy file (it will
have duplicate entries).
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-pull.sh')
0 files changed, 0 insertions, 0 deletions