Re: [PATCH 2/3] make update-server-info more robust
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Sep 15, 2014, 18:39 UTC
- Message-ID
- <xmqqlhpk7mpb.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <20140913201920.GB27082@peff.net>
Jeff King <peff@peff.net> writes:
Show 6 quoted lines
> Since "git update-server-info" may be called automatically > as part of a push or a "gc --auto", we should be robust > against two processes trying to update it simultaneously. > However, we currently use a fixed tempfile, which means that > two simultaneous writers may step on each other's toes and > end up renaming junk into place.
Thanks. I'll queue these clean-ups but we may want to start thinking about deprecating and removing the dumb http support.