OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // | 4 // |
5 // VMOptions= | 5 // VMOptions= |
6 // VMOptions=--short_socket_read | 6 // VMOptions=--short_socket_read |
7 // VMOptions=--short_socket_write | 7 // VMOptions=--short_socket_write |
8 // VMOptions=--short_socket_read --short_socket_write | 8 // VMOptions=--short_socket_read --short_socket_write |
9 | 9 |
10 #library("StreamPipeTest"); | 10 #library("StreamPipeTest"); |
| 11 #import("dart:io"); |
11 #source("TestingServer.dart"); | 12 #source("TestingServer.dart"); |
12 | 13 |
13 // Helper method to be able to run the test from the runtime | 14 // Helper method to be able to run the test from the runtime |
14 // directory, or the top directory. | 15 // directory, or the top directory. |
15 String getDataFilename(String path) => | 16 String getDataFilename(String path) => |
16 new File(path).existsSync() ? path : '../' + path; | 17 new File(path).existsSync() ? path : '../' + path; |
17 | 18 |
18 | 19 |
19 bool compareFileContent(String fileName1, | 20 bool compareFileContent(String fileName1, |
20 String fileName2, | 21 String fileName2, |
(...skipping 241 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
262 srcStream.pipe(dstStream, close: false); | 263 srcStream.pipe(dstStream, close: false); |
263 } | 264 } |
264 | 265 |
265 | 266 |
266 main() { | 267 main() { |
267 testFileToFilePipe1(); | 268 testFileToFilePipe1(); |
268 testFileToFilePipe2(); | 269 testFileToFilePipe2(); |
269 testFileToFilePipe3(); | 270 testFileToFilePipe3(); |
270 PipeServerGame echoServerGame = new PipeServerGame.start(); | 271 PipeServerGame echoServerGame = new PipeServerGame.start(); |
271 } | 272 } |
OLD | NEW |