Index: chrome/browser/devtools/device/android_device_manager.h |
diff --git a/chrome/browser/devtools/device/android_device_manager.h b/chrome/browser/devtools/device/android_device_manager.h |
index 9ec795bca523f29bff4a6cc97b9003fc47d2205b..ab6c833fa5317ed04359a878bdb1b0c4d9153851 100644 |
--- a/chrome/browser/devtools/device/android_device_manager.h |
+++ b/chrome/browser/devtools/device/android_device_manager.h |
@@ -83,8 +83,9 @@ class AndroidDeviceManager |
void Connected(int result, scoped_ptr<net::StreamSocket> socket); |
void OnFrameRead(const std::string& message); |
void OnSocketClosed(); |
+ void Terminate(); |
- scoped_refptr<Device> device_; |
+ Device* device_; |
std::string url_; |
WebSocketImpl* socket_impl_; |
Delegate* delegate_; |
@@ -130,6 +131,7 @@ class AndroidDeviceManager |
scoped_refptr<base::MessageLoopProxy> device_message_loop_; |
scoped_refptr<DeviceProvider> provider_; |
std::string serial_; |
+ std::set<AndroidWebSocket*> sockets_; |
base::WeakPtrFactory<Device> weak_factory_; |
DISALLOW_COPY_AND_ASSIGN(Device); |