Files
Giacomo Vercesi 38cd15d755 fetch_debuginfo: fix race condition
Fix a possible race condition that could arise if multiple instances of
`fetch-debuginfo` are run in parallel. This avoids the same file being
written by multiple processes and being moved early. This avoids a
`FileNotFoundError` and possibly data corruption due to the concurrent
situation.
2024-11-13 09:28:12 +01:00
..
2024-08-05 17:41:34 +02:00
2024-11-13 09:28:12 +01:00
2024-10-01 13:38:13 +02:00
2024-10-01 13:38:13 +02:00