GitHub user StephanEwen opened a pull request:

    https://github.com/apache/flink/pull/5402

    [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 
already.

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

    $ git pull https://github.com/StephanEwen/incubator-flink 
timer_service_options

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

    https://github.com/apache/flink/pull/5402.patch

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