[
https://issues.apache.org/jira/browse/FLINK-9440?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16501688#comment-16501688
]
ASF GitHub Bot commented on FLINK-9440:
---------------------------------------
Github user asfgit closed the pull request at:
https://github.com/apache/flink/pull/6096
> Allow cancelation and reset of timers
> -------------------------------------
>
> Key: FLINK-9440
> URL: https://issues.apache.org/jira/browse/FLINK-9440
> Project: Flink
> Issue Type: Bug
> Components: Streaming
> Affects Versions: 1.4.2
> Reporter: Elias Levy
> Assignee: Stefan Richter
> Priority: Major
> Fix For: 1.6.0
>
>
> Currently the {{TimerService}} allows one to register timers, but it is not
> possible to delete a timer or to reset a timer to a new value. If one wishes
> to reset a timer, one must also handle the previous inserted timer callbacks
> and ignore them.
> I would be useful if the API allowed one to remove and reset timers.
--
This message was sent by Atlassian JIRA
(v7.6.3#76005)
