GitHub user StephanEwen opened a pull request:

    [FLINK-8549] [config] Move TimerServiceOptions into TaskManagerOptions

    The `TimerServiceOptions` are in the wrong place, which prohibits 
generation of config docs. It also cause over-fragmentation of the options in 
the code base.
    This PR moves the one option from that class to the `TaskManagerOptions`, 
as it relates to task execution. Other shutdown related options are in there 

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

    $ git pull 

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 #5402
commit f5045b211ce95a41fe1c6f77fdeacbe57f930c8e
Author: Stephan Ewen <sewen@...>
Date:   2018-02-02T08:38:37Z

    [FLINK-8549] [config] Move TimerServiceOptions into TaskManagerOptions



Reply via email to