Did Cruz just shut down unexpectedly & reboot? .