[jira] [Commented] (FLINK-25508) Flink Batch mode, cluster shutdown early.

[ https://issues.apache.org/jira/browse/FLINK-25508?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17468598#comment-17468598 ] Martijn Visser commented on FLINK-25508: [~todd5167] I can't subscribe you to the Dev mailing

[jira] [Commented] (FLINK-25508) Flink Batch mode, cluster shutdown early.

[ https://issues.apache.org/jira/browse/FLINK-25508?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17468595#comment-17468595 ] todd commented on FLINK-25508: -- [~MartijnVisser]  I have not subscribed to the dev mailing list, can you

[jira] [Commented] (FLINK-25508) Flink Batch mode, cluster shutdown early.

[ https://issues.apache.org/jira/browse/FLINK-25508?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17468407#comment-17468407 ] Martijn Visser commented on FLINK-25508: [~todd5167] I think this question is better suited to