sync: In ChronoSync2013, added shutdown().