| Index: mojo/services/public/js/shell.js
|
| diff --git a/mojo/services/public/js/shell.js b/mojo/services/public/js/shell.js
|
| index 40677d913e6f7bd3567cf67413905980147459e2..d80a2e9ad57e734ec5fe41dfc03d339f3fbd7e0e 100644
|
| --- a/mojo/services/public/js/shell.js
|
| +++ b/mojo/services/public/js/shell.js
|
| @@ -18,12 +18,8 @@ define("mojo/services/public/js/shell", [
|
| const ShellInterface = shellMojom.Shell;
|
|
|
| class Shell {
|
| - constructor(shellHandle, app) {
|
| - this.shellHandle = shellHandle;
|
| - this.shellProxy = connection.bindProxyHandle(
|
| - shellHandle, ShellInterface.client, ShellInterface);
|
| -
|
| - ProxyBindings(this.shellProxy).setLocalDelegate(app);
|
| + constructor(shellProxy) {
|
| + this.shellProxy = shellProxy;
|
| this.applications_ = new Map();
|
| }
|
|
|
| @@ -50,8 +46,9 @@ 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);
|
| this.applications_.clear();
|
| - core.close(this.shellHandle);
|
| }
|
| }
|
|
|
|
|