fix: Catch error when failed to release a player

This happens when the user adds and removes the same video at a short interval of time
bdlukaa · Mar 3, 2024 · b9a9d9a · b9a9d9a
1 parent 24e3b1f
commit b9a9d9a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/lib/main.dart b/lib/main.dart
@@ -264,7 +264,11 @@ class _UnityAppState extends State<UnityApp>
       await Future.microtask(() async {
         for (final player in UnityVideoPlayerInterface.players.toList()) {
           debugPrint('Disposing player ${player.hashCode}');
-          await player.dispose();
+          try {
+            await player.dispose();
+          } catch (e) {
+            debugPrint('Error disposing player: $e');
+          }
         }
       });
       windowManager.destroy();

diff --git a/lib/utils/video_player.dart b/lib/utils/video_player.dart
@@ -138,7 +138,11 @@ class UnityPlayers with ChangeNotifier {
   static Future<void> releaseDevice(String deviceUUID) async {
     debugPrint('Releasing device $deviceUUID. ${players[deviceUUID]}');
     _reloadable.remove(deviceUUID);
-    await players[deviceUUID]?.dispose();
+    try {
+      await players[deviceUUID]?.dispose();
+    } catch (e) {
+      debugPrint('Error disposing player: $e');
+    }
     players.remove(deviceUUID);
   }