| Index: tools/telemetry/telemetry/core/backends/chrome/ios_browser_finder.py
|
| diff --git a/tools/telemetry/telemetry/core/backends/chrome/ios_browser_finder.py b/tools/telemetry/telemetry/core/backends/chrome/ios_browser_finder.py
|
| index 771fd5eb1c10583a01c2e1bffdfc4bdfe706ed76..589f20760f25165a1e816906aa13feca039fd745 100644
|
| --- a/tools/telemetry/telemetry/core/backends/chrome/ios_browser_finder.py
|
| +++ b/tools/telemetry/telemetry/core/backends/chrome/ios_browser_finder.py
|
| @@ -100,9 +100,12 @@ def FindAllAvailableBrowsers(finder_options, device):
|
| browser_types = set()
|
| for url in debug_urls:
|
| context = {'webSocketDebuggerUrl': url, 'id': 1}
|
| - inspector = inspector_backend.InspectorBackend(
|
| - backend.app, backend.devtools_client, context)
|
| - res = inspector.EvaluateJavaScript("navigator.userAgent")
|
| + try:
|
| + inspector = inspector_backend.InspectorBackend(
|
| + backend.app, backend.devtools_client, context)
|
| + res = inspector.EvaluateJavaScript("navigator.userAgent")
|
| + finally:
|
| + inspector.Disconnect()
|
| match_browsers = re.search(browser_pattern, res)
|
| if match_browsers:
|
| browser_types.add(match_browsers.group(1))
|
|
|