]> git.lyx.org Git - features.git/commit
Fix bug #10091.
authorRichard Kimberly Heck <rikiheck@lyx.org>
Sun, 7 Jul 2019 17:13:52 +0000 (13:13 -0400)
committerRichard Kimberly Heck <rikiheck@lyx.org>
Sun, 7 Jul 2019 17:15:27 +0000 (13:15 -0400)
commitad4215e462fa24af065c29cb32c86c7cc19b3b33
treefe542be385db9ba2e107b86f0545a1ec20d46a2f
parent53597584e60b4367b85803533622572c3e485c67
Fix bug #10091.

See the discussion. The decision was just to keep re-trying for a
bit, since the lock preventing us from removing the old file seems
to clear after a bit.

(cherry picked from commit d96a9aa37feaff170095f34a682ab0b2788f3671)
src/support/FileName.cpp
status.23x