GitHub user zimmermatt opened a pull request:
https://github.com/apache/flink/pull/3811
[FLINK-5718] [core] TaskManagers exit the JVM on fatal exceptions.
Manually applied and adapted commit
dfc6fba5b9830e6a7804a6a0c9f69b36bf772730 for
the `release-1.2` branch.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/zimmermatt/flink release-1.2
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/3811.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #3811
----
commit d50acea7ab7d53454de761a4391159ab81dbd63c
Author: Matt Zimmer <[email protected]>
Date: 2017-05-02T23:46:13Z
[FLINK-5718] [core] TaskManagers exit the JVM on fatal exceptions.
Manually applied and adapted commit
dfc6fba5b9830e6a7804a6a0c9f69b36bf772730 for
the `release-1.2` branch.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
