threads: halt should check for isAlive first; DbDateTime had to format the microsecord as %3d.