GitHub user zimmermatt reopened 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 <zimmerm...@netflix.com>
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.
commit fb3d99002e289b667e7a1533277e90d6186751e8
Author: Matt Zimmer <zimmerm...@netflix.com>
Date: 2017-05-03T18:04:17Z
Merge remote-tracking branch 'upstream/release-1.2' into release-1.2
----
---
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 infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
