| Index: chrome/renderer/resources/renderer_extension_bindings.js
|
| diff --git a/chrome/renderer/resources/renderer_extension_bindings.js b/chrome/renderer/resources/renderer_extension_bindings.js
|
| index bf59671a1eddb1660777c2c1801b4e30c94c48af..f9d354ecd35b2697124c0d761a07aba82dc6d283 100644
|
| --- a/chrome/renderer/resources/renderer_extension_bindings.js
|
| +++ b/chrome/renderer/resources/renderer_extension_bindings.js
|
| @@ -10,6 +10,7 @@
|
| var chrome = chrome || {};
|
| (function () {
|
| native function OpenChannelToExtension(id);
|
| + native function CloseChannel(portId);
|
| native function PostMessage(portId, msg);
|
| native function GetChromeHidden();
|
|
|
| @@ -78,7 +79,7 @@ var chrome = chrome || {};
|
| // Disconnects the port from the other end.
|
| chrome.Port.prototype.disconnect = function() {
|
| delete ports[this.portId_];
|
| - //CloseChannel(this.portId_); // TODO(mpcomplete)
|
| + CloseChannel(this.portId_);
|
| }
|
|
|
| // Extension object.
|
|
|