| 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 0e473c952d8311bbc48c9f42594d94a5b942303e..89b3a802f1820b86786268a22014236e092a0a1e 100644
|
| --- a/chrome/browser/devtools/device/android_device_manager.h
|
| +++ b/chrome/browser/devtools/device/android_device_manager.h
|
| @@ -83,7 +83,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);
|
|
|
| @@ -122,8 +122,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_
|
|
|