1
0
mirror of https://github.com/ppy/osu.git synced 2024-12-15 01:02:55 +08:00

ensure dispose realmSubscription

This commit is contained in:
cdwcgt 2023-09-05 00:21:08 +09:00
parent 87aa191c12
commit fd1fce486a
No known key found for this signature in database
GPG Key ID: 144396D01095C3A2

View File

@ -154,5 +154,11 @@ namespace osu.Game.Database
realmSubscription?.Dispose(); realmSubscription?.Dispose();
} }
} }
protected override void Dispose(bool isDisposing)
{
base.Dispose(isDisposing);
realmSubscription?.Dispose();
}
} }
} }