diff options
Diffstat (limited to 'innobase/fil/fil0fil.c')
| -rw-r--r-- | innobase/fil/fil0fil.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/innobase/fil/fil0fil.c b/innobase/fil/fil0fil.c index c4fc055dcde..98dea14f47b 100644 --- a/innobase/fil/fil0fil.c +++ b/innobase/fil/fil0fil.c @@ -1868,6 +1868,10 @@ try_again: if (success) { success = os_file_delete(path); + + if (!success) { + success = os_file_delete_if_exists(path); + } } if (success) { |