public interface MirrorFactoryOperations
| Modifier and Type | Method and Description |
|---|---|
SeismogramFactory |
a_factory() |
void |
mirroring_stopped(java.lang.String a_id,
boolean unregistered)
If the Mirroring service stops mirroring the client will
receive this operation.
|
SeismogramFactory a_factory()
void mirroring_stopped(java.lang.String a_id,
boolean unregistered)