From cfcbca6c958c613f7f03dc6c4010b86801b32176 Mon Sep 17 00:00:00 2001
From: Oliver Woodman <olly@google.com>
Date: Fri, 10 Apr 2015 22:29:51 +0100
Subject: [PATCH] Make FileDataSource throw EOFException.

---
 .../com/google/android/exoplayer/upstream/FileDataSource.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/library/src/main/java/com/google/android/exoplayer/upstream/FileDataSource.java b/library/src/main/java/com/google/android/exoplayer/upstream/FileDataSource.java
index ec9a3b9ade..42431d4739 100644
--- a/library/src/main/java/com/google/android/exoplayer/upstream/FileDataSource.java
+++ b/library/src/main/java/com/google/android/exoplayer/upstream/FileDataSource.java
@@ -17,6 +17,7 @@ package com.google.android.exoplayer.upstream;
 
 import com.google.android.exoplayer.C;
 
+import java.io.EOFException;
 import java.io.IOException;
 import java.io.RandomAccessFile;
 
@@ -65,6 +66,9 @@ public final class FileDataSource implements DataSource {
       file.seek(dataSpec.position);
       bytesRemaining = dataSpec.length == C.LENGTH_UNBOUNDED ? file.length() - dataSpec.position
           : dataSpec.length;
+      if (bytesRemaining < 0) {
+        throw new EOFException();
+      }
     } catch (IOException e) {
       throw new FileDataSourceException(e);
     }