(#1147) - Kill dev-server bg processes on abnormal exit.