More gracefully handle SketchRunner quitting.