Github user StefanRRichter commented on a diff in the pull request: https://github.com/apache/flink/pull/5676#discussion_r178770202 --- Diff: flink-end-to-end-tests/test-scripts/common.sh --- @@ -176,10 +176,40 @@ function s3_delete { https://${bucket}.s3.amazonaws.com/${s3_file} } +function tm_watchdog { + expectedTm=$1 + while true; + do + runningTm=`jps | grep -o 'TaskManagerRunner' | wc -l`; --- End diff -- Do you think it would be ok to just grep for a regex that covers both names?
---