]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 39d38a5 8b59935)
Merge branch 'jk/stop-pack-objects-when-push-is-killed'
authorJunio C Hamano <gitster@pobox.com>
Thu, 3 Dec 2020 08:18:06 +0000 (00:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 3 Dec 2020 08:18:06 +0000 (00:18 -0800)
"git push" that is killed may leave a pack-objects process behind,
still computing to find a good compression, wasting cycles.  This
has been corrected.

* jk/stop-pack-objects-when-push-is-killed:
  send-pack: kill pack-objects helper on signal or exit

1  2 
send-pack.c patch | diff1 | diff2 | blob | history

diff --cc send-pack.c
Simple merge
Unnamed repository; edit this file 'description' to name the repository.