[FLINK-9180] Remove REST_ prefix from rest options

• Type: Improvement
• Status: Closed
• Priority: Critical
• Resolution: Fixed
• Affects Version/s: 1.5.0
• Fix Version/s: 1.5.0
• Component/s: Runtime / Configuration, Runtime / REST
• Assignee: zhangminglei
• Reporter: Chesnay Schepler
• Created: 16/Apr/18 10:00
• Updated: 19/Apr/18 08:02
• Resolved: 19/Apr/18 08:02

Description

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.

Issue Links

• links to: GitHub Pull Request #5852