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