| Index: mojo/services/public/js/shell.js
|
| diff --git a/mojo/services/public/js/shell.js b/mojo/services/public/js/shell.js
|
| index d80a2e9ad57e734ec5fe41dfc03d339f3fbd7e0e..e6c2dee1fdb0a2d1e032c6220cd41f2a93d9c1dc 100644
|
| --- a/mojo/services/public/js/shell.js
|
| +++ b/mojo/services/public/js/shell.js
|
| @@ -46,8 +46,7 @@ define("mojo/services/public/js/shell", [
|
| this.applications_.forEach(function(application, url) {
|
| application.close();
|
| });
|
| - // TODO(hansmuller): Use a proper API on Proxy to close.
|
| - core.close(this.shellProxy.handleStash);
|
| + ProxyBindings(this.shellProxy).close();
|
| this.applications_.clear();
|
| }
|
| }
|
|
|