diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2008-05-29 16:55:53 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-05-31 14:33:59 -0700 |
commit | ad5fa3cc0e115a8b111868af2f727322feb144cb (patch) | |
tree | 09d7ab5a909bd1cc63e2ce3be8cacf73324fcaf9 /Documentation/pull-fetch-param.txt | |
parent | c16570c42a748a29031281badd4762dd4e71d3d0 (diff) | |
download | git-ad5fa3cc0e115a8b111868af2f727322feb144cb.tar.gz git-ad5fa3cc0e115a8b111868af2f727322feb144cb.tar.xz |
rollback lock files on more signals than just SIGINT
Other signals are also common, for example SIGTERM and SIGHUP.
This patch modifies the lock file mechanism to catch more signals.
It also modifies http-push.c which was missing SIGTERM.
Signed-off-by: Paolo Bonzini <bonzini@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/pull-fetch-param.txt')
0 files changed, 0 insertions, 0 deletions