flinkbot edited a comment on issue #9719: [FLINK-14010][coordination] Shutdown cluster if ResourceManager terminated unexpectedly URL: https://github.com/apache/flink/pull/9719#issuecomment-533096961 <!-- Meta data Hash:c4a475ad50edd91fb1189f57651734f3a3df3508 Status:PENDING URL:https://travis-ci.com/flink-ci/flink/builds/128328742 TriggerType:PUSH TriggerID:c4a475ad50edd91fb1189f57651734f3a3df3508 --> ## CI report: * c4a475ad50edd91fb1189f57651734f3a3df3508 : PENDING [Build](https://travis-ci.com/flink-ci/flink/builds/128328742)
---------------------------------------------------------------- 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] With regards, Apache Git Services
