public interface PushConsumerOperations
Modifier and Type | Method and Description |
---|---|
void |
disconnect_push_consumer() |
void |
push(Any data) |
void push(Any data) throws Disconnected
Disconnected
void disconnect_push_consumer()
Copyright © 2016 JacORB. All rights reserved.