Github user zentol commented on a diff in the pull request: https://github.com/apache/flink/pull/5471#discussion_r167860765 --- Diff: docs/_includes/generated/task_manager_configuration.html --- @@ -0,0 +1,146 @@ +<table class="table table-bordered"> + <thead> + <tr> + <th class="text-left" style="width: 20%">Key</th> + <th class="text-left" style="width: 15%">Default</th> + <th class="text-left" style="width: 65%">Description</th> + </tr> + </thead> + <tbody> + <tr> + <td><h5>task.cancellation.interval</h5></td> --- End diff -- there's a description for cancellation.interval, which other one are you referring to?
---