apache/spark — pull request #3502 by roxchkplusony (2014-11-28 06:46:35+00:00)
Title: [BRANCH-1.1][SPARK-4626] Kill a task only if the executorId is (still) registered with the scheduler

v1.1 backport for #3483