GitHub user kl0u opened a pull request:
https://github.com/apache/flink/pull/1612
FLINK-2523: Makes the task cancellation interval configurable.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/kl0u/flink task_cancellation_interval
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/1612.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 #1612
----
commit cd36d7ec883e69828bcb476d69aba465dca79b8d
Author: Aljoscha Krettek <aljoscha.kret...@gmail.com>
Date: 2016-02-03T10:07:38Z
[hotfix] Fix typos in Trigger.java
commit fdf74f036a96708fae7b8c8a5a2ce041bb7ed20f
Author: Kostas Kloudas <kklou...@gmail.com>
Date: 2016-02-03T12:58:12Z
FLINK-3327: Attaches the ExecutionConfig to the JobGraph and propagates it
to the Task itself.
commit 5ead1c05215f4fd70f55370f7864674d670b1282
Author: Kostas Kloudas <kklou...@gmail.com>
Date: 2016-02-09T14:48:00Z
FLINK-2523: Makes the task cancellation interval configurable through the
ExecutionConfig.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
