Re: [PATCH 1/1] t6500(mingw): use the Windows PID of the shell
- Date: Wed, 08 May 2019 12:53:41 +0900
- From: Junio C Hamano <gitster@xxxxxxxxx>
- Subject: Re: [PATCH 1/1] t6500(mingw): use the Windows PID of the shell
Eric Sunshine <sunshine@xxxxxxxxxxxxxx> writes:
> On Tue, May 7, 2019 at 5:51 PM Johannes Schindelin via GitGitGadget
> <gitgitgadget@xxxxxxxxx> wrote:
>> Let's fix this by making sure that the Windows PID is written into
>> `gc.pid` in this test script soo that `git.exe` is able to understand
>> that that process does indeed still exist.
>> Signed-off-by: Johannes Schindelin <johannes.schindelin@xxxxxx>
>> @@ -162,7 +162,15 @@ test_expect_success 'background auto gc respects lock for all operations' '
>> + shell_pid=$$ &&
>> + if test_have_prereq MINGW && test -f /proc/$shell_pid/winpid
>> + then
>> + # In Git for Windows, Bash (actually, the MSYS2 runtime) has a
>> + # different idea of PIDs than git.exe (actually Windows). Use
>> + # the Windows PID in this case.
>> + shell_pid=$(cat /proc/$shell_pid/winpid)
>> + fi &&
>> + printf "%d %s" "$shell_pid" "$hostname" >.git/gc.pid &&
> I wonder if it would make sense to abstract this away behind a shell
> function named shell_pid() which can be specialized for MINGW, much
> like the shell function pwd() is specialized on Windows.
It would be, especially when we need the next such invocation. I'd
find it easier to follow if it were
if test_have_prereq ...
simply because in each of the cases the mental burden gets smaller
(those trying to see what happens on MINGW do not have to recall
shell_pid was originally taken from $$ after seeing 'then'; others
do not have to wonder if lack of 'else' to cover the platforms they
are reading for is deliberate and shell_pid is the only thing
expected out of the if/then/fi construct)
And I would suggest doing such a rewrite when it becomes a helper
shell function, but what is written here is good enough until then,
I would think.