[GitHub] flink pull request #5856: [FLINK-9179] [conf] Fix deduplicate WebOptions.POR...

[zhangminglei]

Github user zhangminglei commented on a diff in the pull request:

    https://github.com/apache/flink/pull/5856#discussion_r181733675
  
    --- Diff: 
flink-core/src/main/java/org/apache/flink/configuration/WebOptions.java ---
    @@ -38,7 +38,10 @@
     
        /**
         * The port for the runtime monitor web-frontend server.
    +    *
    +    * @deprecated Use {@link RestOptions#PORT} instead
         */
    --- End diff --
    
    FLINK-9180 rename it to RestOptions#PORT. 


---