diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2013-08-08 18:05:38 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-08-09 09:10:05 -0700 |
commit | 64a99eb4760de2ce2f0c04e146c0a55c34f50f20 (patch) | |
tree | f09135da1c7fab5195cceef09e865599b37b4ffe /contrib/examples | |
parent | Merge branch 'maint-1.8.1' into maint-1.8.2 (diff) | |
download | tgif-64a99eb4760de2ce2f0c04e146c0a55c34f50f20.tar.xz |
gc: reject if another gc is running, unless --force is given
This may happen when `git gc --auto` is run automatically, then the
user, to avoid wait time, switches to a new terminal, keeps working
and `git gc --auto` is started again because the first gc instance has
not clean up the repository.
This patch tries to avoid multiple gc running, especially in --auto
mode. In the worst case, gc may be delayed 12 hours if a daemon reuses
the pid stored in gc.pid.
kill(pid, 0) support is added to MinGW port so it should work on
Windows too.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/examples')
0 files changed, 0 insertions, 0 deletions