Re: [PATCH v8 00/11] Git filter protocol
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Sep 29, 2016, 21:17 UTC
- Message-ID
- <xmqqfuoie78a.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <f9a6dd02-34c0-d48b-3cbc-73202488920c@gmail.com>
Jakub Narębski <jnareb@gmail.com> writes:
> Or even better: make filter driver write its pid to pidfile, and then > "wait $(cat rot13-filter.pid)". That's what we do in lib-git-daemon.sh > (I think).
I am not sure if "wait"ing on a random process that is not a direct child is a reasonable thing to do, but I like the direction.
Communicate with a pidfile and wait until "kill -0 $that_pid" fails, or something like that, would be clean enough.