diff options
author | Kyle J. McKay <mackyle@gmail.com> | 2013-12-31 04:07:39 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-01-02 16:15:29 -0800 |
commit | ed7eda8b38ec6230abf79986668ccb6e2e2c7494 (patch) | |
tree | 40b51a66cdd8af56c5a1c106f30e7cfd2d3d6099 /bulk-checkin.h | |
parent | Git 1.8.5 (diff) | |
download | tgif-ed7eda8b38ec6230abf79986668ccb6e2e2c7494.tar.xz |
gc: notice gc processes run by other users
Since 64a99eb4 git gc refuses to run without the --force option if
another gc process on the same repository is already running.
However, if the repository is shared and user A runs git gc on the
repository and while that gc is still running user B runs git gc on
the same repository the gc process run by user A will not be noticed
and the gc run by user B will go ahead and run.
The problem is that the kill(pid, 0) test fails with an EPERM error
since user B is not allowed to signal processes owned by user A
(unless user B is root).
Update the test to recognize an EPERM error as meaning the process
exists and another gc should not be run (unless --force is given).
Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'bulk-checkin.h')
0 files changed, 0 insertions, 0 deletions