| 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 27d1be809fa069e1330fe6e33d15bb07e2ef3fd4..888f6d5d6d5a469d6f7466c6a447bb0f2f623ccc 100644
|
| --- a/chrome/browser/devtools/device/android_device_manager.h
|
| +++ b/chrome/browser/devtools/device/android_device_manager.h
|
| @@ -114,7 +114,7 @@ class AndroidDeviceManager
|
| void QueryDevices(const DeviceProviders& providers,
|
| const QueryDevicesCallback& callback);
|
|
|
| - void Stop();
|
| + void ReleaseDevice(const std::string& serial);
|
|
|
| bool IsConnected(const std::string& serial);
|
|
|
| @@ -152,8 +152,6 @@ class AndroidDeviceManager
|
|
|
| typedef std::map<std::string, scoped_refptr<Device> > DeviceMap;
|
| DeviceMap devices_;
|
| -
|
| - bool stopped_;
|
| };
|
|
|
| #endif // CHROME_BROWSER_DEVTOOLS_DEVICE_ANDROID_DEVICE_MANAGER_H_
|
|
|