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_ |