Chesnay Schepler created FLINK-9179: ---------------------------------------
Summary: Deduplicate WebOptions.PORT and RestOptions.REST_PORT Key: FLINK-9179 URL: https://issues.apache.org/jira/browse/FLINK-9179 Project: Flink Issue Type: Improvement Components: Configuration, REST, Webfrontend Affects Versions: 1.5.0 Reporter: Chesnay Schepler Fix For: 1.5.0 In the past {{WebOptions.PORT}} was used to configure the port on which the WebUI listens on. With the rework of the REST API we added a new configuration key {{RestOptions.REST_PORT}} to specify on which port the REST API listens on. Effectively these 2 options control the same thing, with the rest option being broader and also applicable to components with a REST API but no WebUI. I suggest to deprecate WebOptions.PORT, and add a deprecated key to {{RestOptions.REST_PORT}}. -- This message was sent by Atlassian JIRA (v7.6.3#76005)