Skip to content
Snippets Groups Projects
Commit 6d353234 authored by Marco Ratto's avatar Marco Ratto
Browse files

use Save_files to save different names under parallel execution, to avoid... 

use Save_files to save different names under parallel execution, to avoid crashes from different threads attempting to write on the same file
parent b1aa88e8
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment