From e6267cd253fc8fa6571f636bfb06f716554f38fb Mon Sep 17 00:00:00 2001
From: eguven <eguven@google.com>
Date: Wed, 15 Jun 2016 02:22:30 -0700
Subject: [PATCH] DefaultOggSeeker: use skipFully() instead skip().

skip() may skip less than what we want here.
-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=124930478
---
 .../android/exoplayer/extractor/ogg/DefaultOggSeeker.java     | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/src/main/java/com/google/android/exoplayer/extractor/ogg/DefaultOggSeeker.java b/library/src/main/java/com/google/android/exoplayer/extractor/ogg/DefaultOggSeeker.java
index dec89d3af5..6f60e25872 100644
--- a/library/src/main/java/com/google/android/exoplayer/extractor/ogg/DefaultOggSeeker.java
+++ b/library/src/main/java/com/google/android/exoplayer/extractor/ogg/DefaultOggSeeker.java
@@ -174,7 +174,7 @@ import java.io.IOException;
         start = input.getPosition() + pageSize;
         startGranule = pageHeader.granulePosition;
         if (end - start + pageSize < MATCH_BYTE_RANGE) {
-          input.skip(pageSize);
+          input.skipFully(pageSize);
           return -(startGranule + 2);
         }
       }
@@ -194,7 +194,7 @@ import java.io.IOException;
     }
 
     // position accepted (before target granule and within MATCH_RANGE)
-    input.skip(pageSize);
+    input.skipFully(pageSize);
     return -(pageHeader.granulePosition + 2);
   }