Keep trying until delete succeeds

Turns out it can fail if file handles are still open.
2025-03-21 15:07:23 +08:00 · 2017-10-19 23:33:27 +09:00 · 2017-10-19 23:33:27 +09:00 · 9b1ed5b3aa
commit 9b1ed5b3aa
parent d9fd05a5af
1 changed files with 12 additions and 2 deletions
--- a/osu.Game/OsuGameBase.cs
+++ b/osu.Game/OsuGameBase.cs
@ -97,8 +97,18 @@ namespace osu.Game
            }
            catch (MigrationFailedException)
            {
-                using (var context = contextFactory.GetContext())
-                    context.Database.EnsureDeleted();
+                while (true)
+                {
+                    try
+                    {
+                        using (var context = contextFactory.GetContext())
+                        {
+                            context.Database.EnsureDeleted();
+                            break;
+                        }
+                    }
+                    catch { }
+                }
                using (var context = contextFactory.GetContext())
                    context.Migrate();
            }