Changeset: 9385fe11e965 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=9385fe11e965
Modified Files:
testing/Mtest.py.in
Branch: default
Log Message:
Merge with Oct2020 branch.
diffs (20 lines):
diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in
--- a/testing/Mtest.py.in
+++ b/testing/Mtest.py.in
@@ -4098,14 +4098,13 @@ def main(argv) :
CONDITIONALS['BAD_HOSTNAME'] = '#' # True
if THISFILE == "Mtest.py": # env['MAPIPORT'] not available on Mapprove.py
- s = socket.socket(socket.AF_INET6, socket.SOCK_STREAM)
try:
- s.bind(('::1', int(env['MAPIPORT'])))
+ with socket.socket(socket.AF_INET6, socket.SOCK_STREAM) as s:
+ s.bind(('::1', int(env['MAPIPORT'])))
except socket.error as err:
CONDITIONALS['HAVE_IPV6'] = '' # False
else:
CONDITIONALS['HAVE_IPV6'] = '#' # True
- s.close()
# read '.Mapprove.rc'
if THISFILE == 'Mapprove.py':
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
