summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2015-04-02 11:44:48 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2015-04-02 11:44:48 (GMT)
commit81aa1c79dd158aa7bc76876552e4b1d05ecea656 (patch)
tree4b590410d4042c156cfd3d4e874f3a329390a72b /src/uscxml/plugins
parentff86d690dc02d7dd495000331d378e7d8eb688ac (diff)
downloaduscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.zip
uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.gz
uscxml-81aa1c79dd158aa7bc76876552e4b1d05ecea656.tar.bz2
Reactivated PHP bindings and some work on PROMELA
Diffstat (limited to 'src/uscxml/plugins')
-rw-r--r--src/uscxml/plugins/invoker/umundo/UmundoInvoker.cpp6
-rw-r--r--src/uscxml/plugins/invoker/umundo/UmundoInvoker.h2
2 files changed, 4 insertions, 4 deletions
diff --git a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.cpp b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.cpp
index 5fd325d..0302d87 100644
--- a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.cpp
+++ b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.cpp
@@ -176,8 +176,8 @@ void UmundoInvoker::invoke(const InvokeRequest& req) {
}
_node = new umundo::Node();
- umundo::MDNSDiscoveryOptions discOpts;
- _discovery = new umundo::Discovery(umundo::Discovery::MDNS, &discOpts);
+ umundo::DiscoveryConfigMDNS discOpts;
+ _discovery = new umundo::Discovery(&discOpts);
_discovery->add(*_node);
@@ -335,7 +335,7 @@ void UmundoInvoker::removed(umundo::ServiceDescription desc) {
returnEvent(addedEvent);
}
-void UmundoInvoker::changed(umundo::ServiceDescription desc) {
+void UmundoInvoker::changed(umundo::ServiceDescription desc, uint64_t what) {
}
bool UmundoInvoker::jsonbufToData(Data& data, const JSONProto& json) {
diff --git a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h
index 1c5c9a3..4c0e988 100644
--- a/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h
+++ b/src/uscxml/plugins/invoker/umundo/UmundoInvoker.h
@@ -60,7 +60,7 @@ public:
virtual void added(umundo::ServiceDescription);
virtual void removed(umundo::ServiceDescription);
- virtual void changed(umundo::ServiceDescription);
+ virtual void changed(umundo::ServiceDescription, uint64_t what);
virtual void welcome(umundo::TypedPublisher atPub, const umundo::SubscriberStub& sub);
virtual void farewell(umundo::TypedPublisher fromPub, const umundo::SubscriberStub& sub);