diff options
| -rw-r--r-- | devel/ice/Makefile | 1 | ||||
| -rw-r--r-- | devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp | 26 |
2 files changed, 27 insertions, 0 deletions
diff --git a/devel/ice/Makefile b/devel/ice/Makefile index 856d85d46630..ba6fab6facd3 100644 --- a/devel/ice/Makefile +++ b/devel/ice/Makefile @@ -3,6 +3,7 @@ PORTNAME= Ice PORTVERSION= 3.6.3 +PORTREVISION= 1 DISTVERSIONPREFIX= v CATEGORIES= devel diff --git a/devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp b/devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp new file mode 100644 index 000000000000..83a3eade43b4 --- /dev/null +++ b/devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp @@ -0,0 +1,26 @@ +--- cpp/src/IceGrid/ServerI.cpp.orig 2016-11-15 12:22:54.201742997 +0100 ++++ cpp/src/IceGrid/ServerI.cpp 2016-11-15 12:48:01.409625996 +0100 +@@ -341,7 +341,22 @@ + { + assert(_p->first.find("config_") == 0); + const string service = _p->first.substr(7); +- facet = "IceBox.Service." + service + ".Properties"; ++ bool useSharedCommunicator = false; ++ for (PropertyDescriptorSeq::const_iterator d = _properties.at("config").begin(); d != _properties.at("config").end(); ++d) ++ { ++ if (d->name == "IceBox.UseSharedCommunicator." + service) ++ { ++ useSharedCommunicator = (atoi(d->value.c_str()) > 0); ++ } ++ } ++ if (useSharedCommunicator) ++ { ++ facet = "IceBox.SharedCommunicator.Properties"; ++ } ++ else ++ { ++ facet = "IceBox.Service." + service + ".Properties"; ++ } + if(_traceLevels->server > 1) + { + const string id = _server->getId(); |