Chesnay Schepler created FLINK-9180: ---------------------------------------
Summary: Remove REST_ prefix from rest options Key: FLINK-9180 URL: https://issues.apache.org/jira/browse/FLINK-9180 Project: Flink Issue Type: Improvement Components: Configuration, REST Affects Versions: 1.5.0 Reporter: Chesnay Schepler Fix For: 1.5.0 Several fields in the {{RestOptions}} class have a {{REST_}} prefix. So far we went with the convention that we do not have such prefixes if it already contained in the class name, hence we should remove it from the field names. -- This message was sent by Atlassian JIRA (v7.6.3#76005)