diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index a26b4f3f144..5d48e6259a1 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -605,15 +605,15 @@ class Mapping: # establishing connections to inactive ports. It takes around 1s for such connection # establishment to fail on Windows. # - if isinstance(platform, Windows): - if current.testsuite.getId().startswith("IceGrid") or \ - current.testsuite.getId() in ["Ice/binding", - "Ice/location", - "Ice/background", - "Ice/faultTolerance", - "Ice/services", - "IceDiscovery/simple"]: - props["Ice.Override.ConnectTimeout"] = "400" + # if isinstance(platform, Windows): + # if current.testsuite.getId().startswith("IceGrid") or \ + # current.testsuite.getId() in ["Ice/binding", + # "Ice/location", + # "Ice/background", + # "Ice/faultTolerance", + # "Ice/services", + # "IceDiscovery/simple"]: + # props["Ice.Override.ConnectTimeout"] = "400" # Additional properties specified on the command line with --cprops or --sprops additionalProps = [] |