OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 #import("dart:io"); |
| 12 #import("dart:isolate"); |
12 #source("TestingServer.dart"); | 13 #source("TestingServer.dart"); |
13 | 14 |
14 // Helper method to be able to run the test from the runtime | 15 // Helper method to be able to run the test from the runtime |
15 // directory, or the top directory. | 16 // directory, or the top directory. |
16 String getDataFilename(String path) => | 17 String getDataFilename(String path) => |
17 new File(path).existsSync() ? path : '../' + path; | 18 new File(path).existsSync() ? path : '../' + path; |
18 | 19 |
19 | 20 |
20 bool compareFileContent(String fileName1, | 21 bool compareFileContent(String fileName1, |
21 String fileName2, | 22 String fileName2, |
(...skipping 241 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
263 srcStream.pipe(dstStream, close: false); | 264 srcStream.pipe(dstStream, close: false); |
264 } | 265 } |
265 | 266 |
266 | 267 |
267 main() { | 268 main() { |
268 testFileToFilePipe1(); | 269 testFileToFilePipe1(); |
269 testFileToFilePipe2(); | 270 testFileToFilePipe2(); |
270 testFileToFilePipe3(); | 271 testFileToFilePipe3(); |
271 PipeServerGame echoServerGame = new PipeServerGame.start(); | 272 PipeServerGame echoServerGame = new PipeServerGame.start(); |
272 } | 273 } |
OLD | NEW |