The box office server crashed during the Internet connection outage on 12 Oct. Technicians rebooted it on the morning of 13 Oct.