e615aa5·Author: Chris Richardson·Closed by: Chris Richardson·2018-07-02
Description
Technical description: When _lockfree_move_file is called with recurse=True, it is backing up destination file with different contents. But the check the source file (the old destination file in this context) is not appropriate, because other process could have already created the new destination file in the mean time.
Â
Can be merged into next and/or set as CircleCI dependency on a DOLFIN branch to give it some testing.
Technical description: When
_lockfree_move_fileis called withrecurse=True, it is backing up destination file with different contents. But the check the source file (the old destination file in this context) is not appropriate, because other process could have already created the new destination file in the mean time.Â
Can be merged into
nextand/or set as CircleCI dependency on a DOLFIN branch to give it some testing.