Player: destroy -> saveAndShutdown

Author: Profpatsch

app/src/main/java/org/schabi/newpipe/player/Player.java

@@ -591,9 +591,15 @@ private void destroyPlayer() {
         }
     }
 
-    public void destroy() {
+
+    /**
+     * Shut down this player.
+     * Saves the stream progress, sets recovery.
+     * Then destroys the player in all UIs and destroys the UIs as well.
+     */
+    public void saveAndShutdown() {
         if (DEBUG) {
-            Log.d(TAG, "destroy() called");
+            Log.d(TAG, "saveAndShutdown() called");
         }
 
         saveStreamProgressState();

app/src/main/java/org/schabi/newpipe/player/PlayerService.kt

@@ -226,7 +226,7 @@ class PlayerService : MediaBrowserServiceCompat() {
                 // notify that the player is being destroyed
                 onPlayerStartedOrStopped!!.accept(null)
             }
-            player!!.destroy()
+            player!!.saveAndShutdown()
             player = null
         }