| Index: lib/compiler/implementation/lib/io.dart
|
| diff --git a/lib/compiler/implementation/lib/io.dart b/lib/compiler/implementation/lib/io.dart
|
| index 838c5f481fe3dea96607cf489726286ff417d334..e974badfcb293aacda3c4943f51fd3bb15f5a847 100644
|
| --- a/lib/compiler/implementation/lib/io.dart
|
| +++ b/lib/compiler/implementation/lib/io.dart
|
| @@ -77,8 +77,16 @@ class _Directory {
|
| class _Process {
|
| factory Process.start(String executable,
|
| List<String> arguments,
|
| - [String workingDirectory]) {
|
| - var msg = 'new Process.start($executable, $arguments, $workingDirectory';
|
| + [ProcessOptions options]) {
|
| + var msg = 'new Process.start($executable, $arguments, $options)';
|
| + throw new UnsupportedOperationException(msg);
|
| + }
|
| +
|
| + factory Process.run(String executable,
|
| + List<String> arguments,
|
| + ProcessOptions options,
|
| + void callback(int exit, String out, String err)) {
|
| + var msg = 'new Process.run($executable, $arguments, $options, $callback)';
|
| throw new UnsupportedOperationException(msg);
|
| }
|
| }
|
|
|