Github user tillrohrmann closed the pull request at:
https://github.com/apache/flink/pull/300
---
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
Github user tillrohrmann commented on the pull request:
https://github.com/apache/flink/pull/300#issuecomment-69958460
I found the error and fixed it. I'll close this PR and open a new one
rebased on the latest 0.8 release candidate.
---
If your project is set up for it, you can repl
Github user tillrohrmann commented on the pull request:
https://github.com/apache/flink/pull/300#issuecomment-69811875
There is still a concurrent modification somewhere.
On Jan 13, 2015 5:03 PM, "Stephan Ewen" wrote:
> Thanks Till, this is a pretty involved patch. I'll tr
Github user StephanEwen commented on the pull request:
https://github.com/apache/flink/pull/300#issuecomment-69767682
Thanks Till, this is a pretty involved patch. I'll try to look over it
tomorrow or Thursday.
---
If your project is set up for it, you can reply to this email and ha
GitHub user tillrohrmann opened a pull request:
https://github.com/apache/flink/pull/300
Add [FLINK-1376] Add proper shared slot release in case of a fatal
TaskManager failure
This PR introduces SharedSlots as being a special Slot type and as such
being released properly in case an
