summaryrefslogtreecommitdiffstats
path: root/controller-api
diff options
context:
space:
mode:
authorBjørn Christian Seime <bjorncs@verizonmedia.com>2019-10-24 16:28:31 +0200
committerGitHub <noreply@github.com>2019-10-24 16:28:31 +0200
commitb5e789393f052d55378c09118c1bb64e39563c99 (patch)
tree490eec60fe706edf6ca79553f32f8377549a5044 /controller-api
parent85dad512e549bb8097797c62bf582d5cb795d858 (diff)
parent2299eadb564187c86f584ec0a5e41c8834f68748 (diff)
Merge pull request #11082 from vespa-engine/bjorncs/system-flags-handler
Bjorncs/system flags handler
Diffstat (limited to 'controller-api')
-rw-r--r--controller-api/src/main/java/com/yahoo/vespa/hosted/controller/api/integration/zone/ZoneRegistry.java7
1 files changed, 5 insertions, 2 deletions
diff --git a/controller-api/src/main/java/com/yahoo/vespa/hosted/controller/api/integration/zone/ZoneRegistry.java b/controller-api/src/main/java/com/yahoo/vespa/hosted/controller/api/integration/zone/ZoneRegistry.java
index 72f9f5b7ce2..d808b4b7adb 100644
--- a/controller-api/src/main/java/com/yahoo/vespa/hosted/controller/api/integration/zone/ZoneRegistry.java
+++ b/controller-api/src/main/java/com/yahoo/vespa/hosted/controller/api/integration/zone/ZoneRegistry.java
@@ -39,8 +39,8 @@ public interface ZoneRegistry {
/** Returns the API endpoints of all known config servers in the given zone */
List<URI> getConfigServerUris(ZoneId zoneId);
- /** Returns the URI for the config server VIP in the given zone, or Optional.empty() if no VIP exists */
- default Optional<URI> getConfigServerVipUri(ZoneId zoneId) { return Optional.empty(); }
+ /** Returns the URI for the config server VIP in the given zone */
+ URI getConfigServerVipUri(ZoneId zoneId);
/** Returns all possible API endpoints of all known config servers and config server VIPs in the given zone */
List<URI> getConfigServerApiUris(ZoneId zoneId);
@@ -87,4 +87,7 @@ public interface ZoneRegistry {
/** Returns a URL used to generate flashy badges from strings. */
URI badgeUrl();
+ /** Returns a URL to the controller's api endpoint */
+ URI apiUrl();
+
}