Chesnay Schepler created FLINK-9180:

             Summary: Remove REST_ prefix from rest options
                 Key: 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

Reply via email to