GitHub user zhangminglei opened a pull request:

    [FLINK-9179] [conf] Fix deduplicate WebOptions.PORT and RestOptions.PORT

    ## What is the purpose of the change
    There are deduplicate WebOptions.PORT and RestOptions.REST_PORT. Should be 
    ## Brief change log
    Deprecate WebOptions.PORT, and add a deprecated key to 
    ## Verifying this change
    This change is a trivial rework / code cleanup without any test coverage.

You can merge this pull request into a Git repository by running:

    $ git pull flink-9179

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #5856
commit 8eb6c87cb735eaae18892ec2542076509b741690
Author: zhangminglei <zml13856086071@...>
Date:   2018-04-16T13:24:14Z

    [FLINK-9179] [conf] Fix deduplicate WebOptions.PORT and RestOptions.PORT



Reply via email to