| Index: pkg/dartino_compiler/lib/src/worker/developer.dart
|
| diff --git a/pkg/dartino_compiler/lib/src/worker/developer.dart b/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| index 1ab1cb9e5983dfa2a0f80760b9d17ff9d774e83b..b3578f2c74c9a5becaa40de6c4dec3d4797647a7 100644
|
| --- a/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| +++ b/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| @@ -718,6 +718,7 @@ Future<int> run(
|
| break;
|
|
|
| case VmCommandCode.ProcessTerminated:
|
| + await vmContext.terminate();
|
| exitCode = 0;
|
| break;
|
|
|
|
|