tree 689e9be03066a3f84cf98bc09a8cbc9da6671787
parent d50f2b4746b95a86c0fba99d486176ef5f0a741f
author Junxiao Shi <git@mail1.yoursunny.com> 1470798011 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1470798011 +0000

util: keep Scheduler running if a callback throws

refs #3722

Change-Id: Icf19e1a59d67e351b210a60079b27b9b0a06fae6