rmetzger opened a new pull request #13409: URL: https://github.com/apache/flink/pull/13409
## What is the purpose of the change The associated JIRA ticket is actually some test instability, and this change won't fix the instability. But we can not debug a failed Flink job without access to the logs. This change fixes the access to the logs. The problem was that `grep "cluster"` didn't match with the now-uppercase "Cluster" string. This change makes the grep case insensitive. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
