clearstorydata/spark — pull request #12 by markhamstra (2013-08-06 16:58:25+00:00)
Title: Cherry-pick bug-fixes from AMPLab repo

This merges in the fix to the zombie workers problem.