Hi Fabian My JIRA user is: jaxbihani I have created a pull request for the fix : https://github.com/apache/flink/pull/2568
-- View this message in context: http://apache-flink-user-mailing-list-archive.2336050.n4.nabble.com/Problem-with-CEPPatternOperator-when-taskmanager-is-killed-tp9024p9246.html Sent from the Apache Flink User Mailing List archive. mailing list archive at Nabble.com.
