On Sun, Feb 13 2022, Sean Whitton wrote:
> Hello,
>
> On Sun 13 Feb 2022 at 09:54am -07, Sean Whitton wrote:
>
>> If more than nmbug process is running at once, then each will try to
>> read and write the same file. The particular failure I've seen is
>> that the process which finishes first dele
Hello,
On Sun 13 Feb 2022 at 09:54am -07, Sean Whitton wrote:
> If more than nmbug process is running at once, then each will try to
> read and write the same file. The particular failure I've seen is
> that the process which finishes first deletes nmbug.index, and then
> the other process dies
[ drive-by comment based on a past mistake :/ ]
Sean Whitton writes:
> -def _index_tags():
> -"Write notmuch tags to the nmbug.index."
> -path = _os.path.join(NMBGIT, 'nmbug.index')
> +(_, index) = _tempfile.mkstemp()
[...]
> _git(
> args=['read-tree', '--empty'],
> -