Merge branch 'master' of ssh://git-annex.branchable.com into master

This commit is contained in:
Joey Hess 2020-10-12 11:35:40 -04:00
commit 842fc46ee2
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
4 changed files with 35 additions and 0 deletions

View file

@ -0,0 +1,10 @@
[[!comment format=mdwn
username="yarikoptic"
avatar="http://cdn.libravatar.org/avatar/f11e9c84cb18d26a1748c33b48c924b4"
subject="comment 4"
date="2020-10-11T13:51:28Z"
content="""
the mystery is that to our knowledge we do close the stdin (and stdout) of [git-annex process right before](https://github.com/datalad/datalad/blob/master/datalad/cmd.py#L1339), so pipe should have not remained open, unless something else may be somehow keeps it open... And I cannot reproduce the bug ATM neither locally or on smaug where I did prepare you the reproduced case!
Indeed though I agree that pretty much any timeout could not generally be \"sufficient\". That is why we need to figure out what is happening/why some times batched processes do not quit. Either the later \"reproducer\" was exactly the same situation as in the original reported (where it was a few out of 1000s of batched processes) -- I do not know. may be there are multiple issues.
"""]]