Fabian Had a discussion with Frank. As he has no means to reproduce/test the bug I will submit a patch for this.
-- View this message in context: http://apache-flink-user-mailing-list-archive.2336050.n4.nabble.com/Problem-with-CEPPatternOperator-when-taskmanager-is-killed-tp9024p9097.html Sent from the Apache Flink User Mailing List archive. mailing list archive at Nabble.com.
