| Index: sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart b/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| index 4fd166d5c7379d76431761890e2ad3db68d62ab9..0374de5b9824cae091accec39948254b7389a24d 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| @@ -199,6 +199,9 @@ patch class _StdIOUtils {
|
| patch static OutputStream _getStdioOutputStream(int fd) {
|
| throw new UnsupportedError("StdIOUtils._getStdioOutputStream");
|
| }
|
| + patch static int _socketType(Socket socket) {
|
| + throw new UnsupportedError("StdIOUtils._socketType");
|
| + }
|
| }
|
|
|
| patch class _WindowsCodePageDecoder {
|
|
|