[GitHub] flink pull request #6348: [FLINK-9857] Delay firing of processing-time timer...

2018-07-17 Thread aljoscha
Github user aljoscha closed the pull request at: https://github.com/apache/flink/pull/6348 ---

[GitHub] flink pull request #6348: [FLINK-9857] Delay firing of processing-time timer...

2018-07-17 Thread aljoscha
GitHub user aljoscha opened a pull request: https://github.com/apache/flink/pull/6348 [FLINK-9857] Delay firing of processing-time timers by 1 ms Description from Jira issue: ``` The firing of processing-time timers is off by one. This leads to problems in edge cases, a