| Index: runtime/bin/input_stream.dart
|
| diff --git a/runtime/bin/input_stream.dart b/runtime/bin/input_stream.dart
|
| index af90ead2c0b43ce4ec2d5b5a6fcb700f06194d2d..0b25895fe42967186457db86f90c2c42d99dee59 100644
|
| --- a/runtime/bin/input_stream.dart
|
| +++ b/runtime/bin/input_stream.dart
|
| @@ -213,6 +213,7 @@ interface ChunkedInputStream factory _ChunkedInputStream {
|
|
|
| class StreamException implements Exception {
|
| const StreamException([String this.message = ""]);
|
| + const StreamException.streamClosed() : message = "Stream closed";
|
| String toString() => "StreamException: $message";
|
| final String message;
|
| }
|
|
|