flinkbot edited a comment on issue #9490: [hotfix][python] add System.exit() at the end of PythonGatewayServer to ensure the JVM will exit if its parent process dies. URL: https://github.com/apache/flink/pull/9490#issuecomment-522958012 <!-- Meta data Hash:058163e892c68cb753ebe21b4ab458bcd461ccce Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/123867469 TriggerType:PUSH TriggerID:058163e892c68cb753ebe21b4ab458bcd461ccce Hash:6b9bb224263c0ba0d61e12e62d7bb618a0fb8c8a Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/123987631 TriggerType:PUSH TriggerID:6b9bb224263c0ba0d61e12e62d7bb618a0fb8c8a --> ## CI report: * 058163e892c68cb753ebe21b4ab458bcd461ccce : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/123867469) * 6b9bb224263c0ba0d61e12e62d7bb618a0fb8c8a : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/123987631)
---------------------------------------------------------------- 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
