]> 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)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:34 +0000 (15:48 +0200)
commit0b71b0b4ba7a6d0178cba36394ab9f8c33c6a24f
tree4986c92ddf7b15a5f2dbfcd679f9d2c7e4309239
parentb88763fa584167b9767a81a51d1971918ac8fb7a
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.
src/support/FileName.cpp