[ https://issues.apache.org/jira/browse/FLINK-9180?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16440248#comment-16440248 ]
ASF GitHub Bot commented on FLINK-9180: --------------------------------------- Github user lamber-ken commented on the issue: https://github.com/apache/flink/pull/5857 wrong place? can you point it out, I don't know. thank you > 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)