mesos/spark — pull request #682 by pwendell (2013-07-06 23:41:56+00:00)
Title: Fix occasional failure in UI listener.

If a task fails before the metrics are initialized, it remains possible
that the metrics field will be `None`. This patch accounts for that possbility
by keeping metrics as an `Option` at all times.