Re: [PATCH 2/3] make update-server-info more robust

2014-09-15 Thread Jeff King
On Mon, Sep 15, 2014 at 11:39:12AM -0700, Junio C Hamano wrote: > Jeff King writes: > > > 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

Re: [PATCH 2/3] make update-server-info more robust

2014-09-15 Thread Junio C Hamano
Jeff King writes: > 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 o

Re: [PATCH 2/3] make update-server-info more robust

2014-09-14 Thread René Scharfe
Am 13.09.2014 um 22:19 schrieb Jeff King: > 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 simultane

[PATCH 2/3] make update-server-info more robust

2014-09-13 Thread Jeff King
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