[ https://issues.apache.org/jira/browse/FLINK-9180?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
mingleizhang reassigned FLINK-9180: ----------------------------------- Assignee: mingleizhang > 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 > Assignee: mingleizhang > Priority: Critical > 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)