Github user GJL commented on a diff in the pull request:
https://github.com/apache/flink/pull/5312#discussion_r164074562
--- Diff:
flink-core/src/main/java/org/apache/flink/configuration/RestOptions.java ---
@@ -41,4 +41,34 @@
public static final ConfigOption<Integer> REST_PORT =
key("rest.port")
.defaultValue(9067);
+
+ /**
+ * The time in ms to wait for the leader address, e.g., Dispatcher or
WebMonitorEndpoint.
+ */
+ public static final ConfigOption<Integer> AWAIT_LEADER_TIMEOUT =
+ key("rest.await-leader-timeout")
+ .defaultValue(30_000);
+
+ /**
+ * The number of attempts to retry a retryable operation.
+ * @see #RETRY_DELAY
+ */
+ public static final ConfigOption<Integer> RETRY_MAX_ATTEMPTS =
+ key("rest.retry.max-attempts")
+ .defaultValue(20);
+
+ /**
+ * The time in ms to wait between retries.
+ * @see #RETRY_MAX_ATTEMPTS
+ */
+ public static final ConfigOption<Integer> RETRY_DELAY =
+ key("rest.retry.delay")
+ .defaultValue(3_000);
+
+ /**
+ * The maximum time in ms to establish a TCP connection.
+ */
+ public static final ConfigOption<Integer> CONNECTION_TIMEOUT =
+ key("rest.connection-timeout")
+ .defaultValue(15_000);
--- End diff --
Added for all `ConfigOptions` in `RestOptions`
---
