Elias Levy created FLINK-9440:
---------------------------------
Summary: 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
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)
