| 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 library ServerTest; | 9 library ServerTest; |
| 10 | 10 |
| 11 import "package:expect/expect.dart"; |
| 11 import "dart:io"; | 12 import "dart:io"; |
| 12 import "dart:isolate"; | 13 import "dart:isolate"; |
| 13 part "testing_server.dart"; | 14 part "testing_server.dart"; |
| 14 | 15 |
| 15 // Helper method to be able to run the test from the runtime | 16 // Helper method to be able to run the test from the runtime |
| 16 // directory, or the top directory. | 17 // directory, or the top directory. |
| 17 String getDataFilename(String path) => | 18 String getDataFilename(String path) => |
| 18 new File(path).existsSync() ? path : '../$path'; | 19 new File(path).existsSync() ? path : '../$path'; |
| 19 | 20 |
| 20 | 21 |
| (...skipping 265 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 286 srcStream.pipe(dstStream, close: false); | 287 srcStream.pipe(dstStream, close: false); |
| 287 } | 288 } |
| 288 | 289 |
| 289 | 290 |
| 290 main() { | 291 main() { |
| 291 testFileToFilePipe1(); | 292 testFileToFilePipe1(); |
| 292 testFileToFilePipe2(); | 293 testFileToFilePipe2(); |
| 293 testFileToFilePipe3(); | 294 testFileToFilePipe3(); |
| 294 PipeServerGame echoServerGame = new PipeServerGame.start(); | 295 PipeServerGame echoServerGame = new PipeServerGame.start(); |
| 295 } | 296 } |
| OLD | NEW |