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:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/128328742 TriggerType:PUSH TriggerID:c4a475ad50edd91fb1189f57651734f3a3df3508 Hash:a715e643698add6d751b0c5b1ec472ff7fc657e0 Status:UNKNOWN URL:TBD TriggerType:PUSH TriggerID:a715e643698add6d751b0c5b1ec472ff7fc657e0 --> ## CI report: * c4a475ad50edd91fb1189f57651734f3a3df3508 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/128328742) * a715e643698add6d751b0c5b1ec472ff7fc657e0 : UNKNOWN
---------------------------------------------------------------- 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
