My Various Git Projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5e4866) | patch
close_lock_file(): exit (successfully) if file is already closed
authorMichael Haggerty <mhagger@alum.mit.edu>
Wed, 1 Oct 2014 10:28:07 +0000 (12:28 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 1 Oct 2014 20:38:39 +0000 (13:38 -0700)
commit419f0c0f681b76d720699977abe03d29e22db554
treefe326a207ecc55c8103f28a07617eb542411427ftree | snapshot
parenta5e48669a2bb45e3a2a6daf30635270b90056085commit | diff
close_lock_file(): exit (successfully) if file is already closed

Suggested-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
lockfile.c diff | blob | history
read-cache.c diff | blob | history
The core git plumbing