public interface ConfigurationResourceObserver
| Modifier and Type | Method and Description |
|---|---|
void |
resourceChanged(String resourceUri,
io.vertx.core.buffer.Buffer resource)
Gets called when the resource with uri
resourceUri has been changed. |
void |
resourceRemoved(String resourceUri)
Gets called when the resource with uri
resourceUri has been removed. |
void resourceChanged(String resourceUri, io.vertx.core.buffer.Buffer resource)
resourceUri has been changed.
The changed resource is provided in the resource parameter.resourceUri - the uri of the resource that has been changedresource - the resource including the changesvoid resourceRemoved(String resourceUri)
resourceUri has been removed.resourceUri - the uri of the resource that has been removedCopyright © 2016–2021. All rights reserved.