| Index: runtime/lib/isolate_patch.dart
|
| diff --git a/runtime/lib/isolate.dart b/runtime/lib/isolate_patch.dart
|
| similarity index 93%
|
| rename from runtime/lib/isolate.dart
|
| rename to runtime/lib/isolate_patch.dart
|
| index 41c039cbe69b7caa79178f028a8266865dcdec13..10f2c85f02231c92475f9546dd19dd35ddf92f5d 100644
|
| --- a/runtime/lib/isolate.dart
|
| +++ b/runtime/lib/isolate_patch.dart
|
| @@ -2,15 +2,13 @@
|
| // 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.
|
|
|
| -class _ReceivePortFactory {
|
| - factory ReceivePort() {
|
| +patch class _ReceivePortFactory {
|
| + /* patch */ factory ReceivePort() {
|
| return new _ReceivePortImpl();
|
| }
|
| }
|
|
|
| -
|
| class _ReceivePortImpl implements ReceivePort {
|
| - /*--- public interface ---*/
|
| factory _ReceivePortImpl() native "ReceivePortImpl_factory";
|
|
|
| receive(void onMessage(var message, SendPort replyTo)) {
|
| @@ -118,13 +116,14 @@ _getPortInternal() native "isolate_getPortInternal";
|
|
|
| ReceivePort _portInternal;
|
|
|
| -ReceivePort get _port() {
|
| +patch ReceivePort get port() {
|
| if (_portInternal === null) {
|
| _portInternal = _getPortInternal();
|
| }
|
| return _portInternal;
|
| }
|
|
|
| -_spawnFunction(void topLevelFunction()) native "isolate_spawnFunction";
|
| +patch spawnFunction(void topLevelFunction()) native "isolate_spawnFunction";
|
| +
|
| +patch spawnUri(String uri) native "isolate_spawnUri";
|
|
|
| -_spawnUri(String uri) native "isolate_spawnUri";
|
|
|