GitHub user kl0u opened a pull request:
https://github.com/apache/flink/pull/1546
FLINK-2523: making the task cancellation interval configurable.
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
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/1546.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 #1546
----
commit bfbb45ddeb29b4eb3f366180d1edeecfb2bc06fd
Author: Kostas Kloudas <[email protected]>
Date: 2016-01-20T13:05:58Z
FLINK-2523: making the task cancellation interval configurable.
FLINK-2523: making the task cancellation interval configurable.
Added the cancellation delay, although no tests and not sure if it has to
be checkpointed.
----
---
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 [email protected] or file a JIRA ticket
with INFRA.
---
