Version 1.12.2
Commit patch https://codereview.chromium.org/1420443002/
diff --git a/runtime/bin/process_patch.dart b/runtime/bin/process_patch.dart
index b6d40ee..3126c26 100644
--- a/runtime/bin/process_patch.dart
+++ b/runtime/bin/process_patch.dart
@@ -188,7 +188,6 @@
bool includeParentEnvironment,
bool runInShell,
ProcessStartMode mode) : super() {
- _processes[_serviceId] = this;
if (runInShell) {
arguments = _getShellArguments(path, arguments);
path = _getShellCommand();
@@ -439,7 +438,6 @@
_exitCode.complete(exitCode(exitDataBuffer));
// Kill stdin, helping hand if the user forgot to do it.
_stdin._sink.destroy();
- _processes.remove(_serviceId);
}
exitDataBuffer.setRange(
@@ -488,8 +486,6 @@
return encoding.decode(output);
}
- _processes.remove(_serviceId);
-
return new ProcessResult(
result[0],
result[1],
diff --git a/tools/VERSION b/tools/VERSION
index b2ec447..9256f87 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -26,6 +26,6 @@
CHANNEL stable
MAJOR 1
MINOR 12
-PATCH 1
+PATCH 2
PRERELEASE 0
PRERELEASE_PATCH 0