| Index: runtime/bin/file_impl.dart
|
| diff --git a/runtime/bin/file_impl.dart b/runtime/bin/file_impl.dart
|
| index 692a08b6bcd50b8c22ffe93dd0d84685c2ebcbb0..0706fbe468a31b7e6c82977d52af36364a7f3737 100644
|
| --- a/runtime/bin/file_impl.dart
|
| +++ b/runtime/bin/file_impl.dart
|
| @@ -39,9 +39,13 @@ class _FileInputStream extends _BaseDataInputStream implements InputStream {
|
|
|
| Future<int> _fillBuffer() {
|
| Expect.equals(_position, _data.length);
|
| - Expect.isTrue(_filePosition < _fileLength);
|
|
|
| int size = Math.min(_bufferLength, _fileLength - _filePosition);
|
| + if (size == 0) {
|
| + _streamMarkedClosed = true;
|
| + _openedFile.close();
|
| + return new Future.immediate(0);
|
| + }
|
| if (_data.length != size) {
|
| _data = new Uint8List(size);
|
| }
|
|
|