diff --git a/doc/THANKS b/doc/THANKS index 68591dcdb..5e470126d 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -404,6 +404,9 @@ Andres Riancho Jamie Riden for reporting a minor bug +Alexander Rigbo + for contributing a minor patch + Antonio Riva for reporting a bug when running with python 2.5 diff --git a/lib/core/option.py b/lib/core/option.py index ae1f50c3a..066212f39 100644 --- a/lib/core/option.py +++ b/lib/core/option.py @@ -1702,10 +1702,10 @@ def __setTorProxySettings(): logger.info(infoMsg) found = None - s = socket.socket(socket.AF_INET, socket.SOCK_STREAM) for port in DEFAULT_TOR_PORTS: try: + s = socket.socket(socket.AF_INET, socket.SOCK_STREAM) s.connect((LOCALHOST, port)) found = port break