Github user tdas commented on the pull request:
https://github.com/apache/spark/pull/3661#issuecomment-68304935
Actually, correction. Can you put the public API `isTerminated` on a
different PR? I want to separate the addition to public API (which requires a
design discussion) from this bug fix PR.
---
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.
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
