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
----
---
