| // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // @dart = 2.9 |
| |
| /// @assertion void exit(int code) |
| /// This does not wait for any asynchronous operations to terminate. Using [exit] |
| /// is therefore very likely to lose data. |
| /// @description Checks that data will be lost if [exit] was called during some |
| /// asynchronous operation. |
| /// @author iarkh@unipro.ru |
| |
| import "../../../Utils/expect.dart"; |
| import "dart:async"; |
| import "dart:io"; |
| |
| run_process() { |
| new Future.delayed(new Duration(seconds: 2)).then((_) { |
| print("Hello, World!"); |
| }); |
| exit(123); |
| } |
| |
| run_main() async { |
| String executable = Platform.resolvedExecutable; |
| String eScript = Platform.script.toString(); |
| int called = 0; |
| await Process.run(executable, [eScript, "run"]).then((ProcessResult results) { |
| Expect.equals(123, results.exitCode); |
| Expect.isFalse(results.stdout.contains("Hello, World!")); |
| called++; |
| }); |
| Expect.equals(1, called); |
| } |
| |
| main(List<String> args) { |
| if(args.length > 0) |
| run_process(); |
| else { |
| run_main(); |
| } |
| } |