diff options
| author | Maxime Dénès | 2017-01-11 13:59:54 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-01-13 12:45:41 +0100 |
| commit | 6424a49842ed9982c7edd1b847d88d66508f072b (patch) | |
| tree | 11d697858c3a4170b0a95e35488be83df5c5fead /dev | |
| parent | 9568a34f665a6f3dca06271ffd6e914d9bd2a5ad (diff) | |
Fix race condition in STM DAG generation (in debug mode).
The same file name for .dot graphs could be used by concurrent processes.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions