You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Description: Bug Description
A TypeError occurs in get_open_tabs_info function when constructing the server URL. The error message states: can only concatenate str (not "int") to str, which happens when trying to concatenate the integer port number directly with strings.
Location
File: desktop_env/evaluators/getters/chrome.py, line ~531
Description:
Bug Description
A TypeError occurs in
get_open_tabs_info
function when constructing the server URL. The error message states:can only concatenate str (not "int") to str
, which happens when trying to concatenate the integer port number directly with strings.Location
File:
desktop_env/evaluators/getters/chrome.py
, line ~531Current Code
Proposed Fix
Convert the port number to string or use f-string:
Additional Notes
server_port
is an integer while string concatenation requires all operands to be stringsLabels:
bug
,easy fix
The text was updated successfully, but these errors were encountered: