aboutsummaryrefslogtreecommitdiff
path: root/devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp')
-rw-r--r--devel/ice/files/patch-cpp-src-IceGrid-ServerI.cpp26
1 files changed, 26 insertions, 0 deletions
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();