Re: Today's problem with GUB build

[Jean Abou Samra]

Hi David,

Le 15/07/2020 à 23:01, David Kastrup a écrit :
> Not using random at all but using the pid, in contrast, should be
> collision-proof, assuming that we are not working on a shared file
> system accessed by multiple computers with separate process id pools.
> But then locking is likely to be non-working anyway.
The async I/O approach that I'd like to introduce in lilypond-book
if I manage to should fix the collision risk.

Best,
Jean