flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From zhangminglei <...@git.apache.org>
Subject [GitHub] flink pull request #5856: [FLINK-9179] [conf] Fix deduplicate WebOptions.POR...
Date Mon, 16 Apr 2018 13:30:17 GMT
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. 


---

Mime
View raw message