| Index: client/dom/generated/src/wrapping/_WorkerWrappingImplementation.dart
|
| diff --git a/client/dom/generated/src/wrapping/_WorkerWrappingImplementation.dart b/client/dom/generated/src/wrapping/_WorkerWrappingImplementation.dart
|
| index f182de2a9925d9aea8c161237df25e078774bd12..fededc1bc5e10bfa6b3e283d34527c54ff6936e7 100644
|
| --- a/client/dom/generated/src/wrapping/_WorkerWrappingImplementation.dart
|
| +++ b/client/dom/generated/src/wrapping/_WorkerWrappingImplementation.dart
|
| @@ -17,17 +17,17 @@ class _WorkerWrappingImplementation extends _AbstractWorkerWrappingImplementatio
|
| void set onmessage(EventListener value) { _set__Worker_onmessage(this, value); }
|
| static void _set__Worker_onmessage(var _this, EventListener value) native;
|
|
|
| - void postMessage(String message, [MessagePort messagePort = null]) {
|
| - if (messagePort === null) {
|
| + void postMessage(String message, [List messagePorts = null]) {
|
| + if (messagePorts === null) {
|
| _postMessage(this, message);
|
| return;
|
| } else {
|
| - _postMessage_2(this, message, messagePort);
|
| + _postMessage_2(this, message, messagePorts);
|
| return;
|
| }
|
| }
|
| static void _postMessage(receiver, message) native;
|
| - static void _postMessage_2(receiver, message, messagePort) native;
|
| + static void _postMessage_2(receiver, message, messagePorts) native;
|
|
|
| void terminate() {
|
| _terminate(this);
|
| @@ -35,5 +35,17 @@ class _WorkerWrappingImplementation extends _AbstractWorkerWrappingImplementatio
|
| }
|
| static void _terminate(receiver) native;
|
|
|
| + void webkitPostMessage(String message, [List messagePorts = null]) {
|
| + if (messagePorts === null) {
|
| + _webkitPostMessage(this, message);
|
| + return;
|
| + } else {
|
| + _webkitPostMessage_2(this, message, messagePorts);
|
| + return;
|
| + }
|
| + }
|
| + static void _webkitPostMessage(receiver, message) native;
|
| + static void _webkitPostMessage_2(receiver, message, messagePorts) native;
|
| +
|
| String get typeName() { return "Worker"; }
|
| }
|
|
|