servo/servo — pull request #4220 by eddyb (2014-12-04 19:39:17+00:00)
Title: devtools: handle script task panics gracefully in ConsoleActor.

r? @jdm