Fixes animation video from not playing after onStop

Adds a pause command that doesn't destroy the video surface, and calls
onStop when we want to destroy the media player.

bug:26516460
Change-Id: If46d26088e81fdca6a73a663a48901bb5245acc8
diff --git a/src/com/android/settings/fingerprint/FingerprintEnrollFindSensor.java b/src/com/android/settings/fingerprint/FingerprintEnrollFindSensor.java
index b246bdf..a5af5cc 100644
--- a/src/com/android/settings/fingerprint/FingerprintEnrollFindSensor.java
+++ b/src/com/android/settings/fingerprint/FingerprintEnrollFindSensor.java
@@ -59,6 +59,12 @@
     @Override
     protected void onStop() {
         super.onStop();
+        mAnimation.pauseAnimation();
+    }
+
+    @Override
+    protected void onDestroy() {
+        super.onDestroy();
         mAnimation.stopAnimation();
     }
 
diff --git a/src/com/android/settings/fingerprint/FingerprintFindSensorAnimation.java b/src/com/android/settings/fingerprint/FingerprintFindSensorAnimation.java
index cb254ba..07ab99d 100644
--- a/src/com/android/settings/fingerprint/FingerprintFindSensorAnimation.java
+++ b/src/com/android/settings/fingerprint/FingerprintFindSensorAnimation.java
@@ -32,4 +32,9 @@
      */
     void stopAnimation();
 
+    /**
+     * Pause the animation
+     */
+    void pauseAnimation();
+
 }
diff --git a/src/com/android/settings/fingerprint/FingerprintLocationAnimationVideoView.java b/src/com/android/settings/fingerprint/FingerprintLocationAnimationVideoView.java
index c1fd2c2..5236272 100644
--- a/src/com/android/settings/fingerprint/FingerprintLocationAnimationVideoView.java
+++ b/src/com/android/settings/fingerprint/FingerprintLocationAnimationVideoView.java
@@ -117,11 +117,18 @@
 
     @Override
     public void stopAnimation() {
-        if (mMediaPlayer != null && mMediaPlayer.isPlaying()) {
+        if (mMediaPlayer != null) {
             mMediaPlayer.stop();
             mMediaPlayer.release();
             mMediaPlayer = null;
         }
     }
 
+    @Override
+    public void pauseAnimation() {
+        if (mMediaPlayer != null && mMediaPlayer.isPlaying()) {
+            mMediaPlayer.pause();
+        }
+    }
+
 }
diff --git a/src/com/android/settings/fingerprint/FingerprintLocationAnimationView.java b/src/com/android/settings/fingerprint/FingerprintLocationAnimationView.java
index c17069f..cc1d4fd 100644
--- a/src/com/android/settings/fingerprint/FingerprintLocationAnimationView.java
+++ b/src/com/android/settings/fingerprint/FingerprintLocationAnimationView.java
@@ -112,6 +112,11 @@
         }
     }
 
+    @Override
+    public void pauseAnimation() {
+        stopAnimation();
+    }
+
     private void startPhase() {
         startRadiusAnimation();
         startAlphaAnimation();