Make Mandoline shut down cleanly.

components/window_manager/window_manager_app.h

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef COMPONENTS_WINDOW_MANAGER_WINDOW_MANAGER_APP_H_
 #define COMPONENTS_WINDOW_MANAGER_WINDOW_MANAGER_APP_H_
 
 #include <set>
 
 #include "base/memory/scoped_ptr.h"
@@ skipping 27 matching lines @@
 // of this object. They may implement the associated ViewManager/WindowManager
 // delegate interfaces exposed by the view manager, this object provides the
 // canonical implementation of said interfaces but will call out to the wrapped
 // instances.
 class WindowManagerApp
     : public mojo::ApplicationDelegate,
       public mojo::ViewManagerDelegate,
       public mojo::ViewObserver,
       public mojo::InterfaceFactory<mojo::WindowManager>,
       public mojo::InterfaceFactory<mojo::WindowManagerInternal>,
-      public mojo::WindowManagerInternal {
+      public mojo::WindowManagerInternal,
+      public mojo::ErrorHandler {
  public:
   WindowManagerApp(ViewManagerDelegate* view_manager_delegate,
                    WindowManagerDelegate* window_manager_delegate);
   ~WindowManagerApp() override;
 
   // Register/deregister new connections to the window manager service.
   void AddConnection(WindowManagerImpl* connection);
   void RemoveConnection(WindowManagerImpl* connection);
 
   void DispatchInputEventToViewDEPRECATED(mojo::View* view,
@@ skipping 47 matching lines @@
 
   // InterfaceFactory<WindowManager>:
   void Create(mojo::ApplicationConnection* connection,
               mojo::InterfaceRequest<mojo::WindowManager> request) override;
 
   // WindowManagerInternal:
   void SetViewManagerClient(
       mojo::ScopedMessagePipeHandle view_manager_client_request) override;
   void OnAccelerator(mojo::EventPtr event) override;
 
+  // ErrorHandler:
+  void OnConnectionError() override;
+
   mojo::Shell* shell_;
 
   ViewManagerDelegate* wrapped_view_manager_delegate_;
   WindowManagerDelegate* window_manager_delegate_;
 
   mojo::ViewManagerServicePtr view_manager_service_;
   scoped_ptr<mojo::ViewManagerClientFactory> view_manager_client_factory_;
 
   mojo::View* root_;
 
   Connections connections_;
 
   mojo::WindowManagerInternalClientPtr window_manager_client_;
 
   ScopedVector<PendingEmbed> pending_embeds_;
 
   scoped_ptr<mojo::ViewManagerClient> view_manager_client_;
 
   scoped_ptr<mojo::Binding<WindowManagerInternal>> wm_internal_binding_;
 
   DISALLOW_COPY_AND_ASSIGN(WindowManagerApp);
 };
 
 }  // namespace window_manager
 
 #endif  // COMPONENTS_WINDOW_MANAGER_WINDOW_MANAGER_APP_H_