diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index cfda99a83de..3809345e684 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -464,8 +464,9 @@ class Mapping: props["Ice.Override.Compress"] = "1" if self.serialize: props["Ice.ThreadPool.Server.Serialize"] = "1" + props["Ice.IPv6"] = self.ipv6 if self.ipv6: - props.update({"Ice.IPv6": True, "Ice.PreferIPv6Address": True}) + props["Ice.PreferIPv6Address"] = True if self.mx: props["Ice.Admin.Endpoints"] = "default -h localhost" props["Ice.Admin.InstanceName"] = "Server" if isinstance(process, Server) else "Client" |