A fix for bug #7938.  It now correctly reports the time the devices restarted.