diff options
Diffstat (limited to 'share/tools/web_config/webconfig.py')
| -rwxr-xr-x | share/tools/web_config/webconfig.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index cf004719..7ed6d519 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -364,8 +364,9 @@ while PORT <= 9000: # Success break; except socket.error: - type, value = sys.exc_info()[:2] - if 'Address already in use' not in value: + err_type, err_value = sys.exc_info()[:2] + # str(err_value) handles Python3 correctly + if 'Address already in use' not in str(err_value): break PORT += 1 |