[
https://issues.apache.org/jira/browse/FLINK-9440?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16493565#comment-16493565
]
ASF GitHub Bot commented on FLINK-9440:
---------------------------------------
Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/6096
CC @aljoscha or @tillrohrmann
> 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
>
> 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)
