While interesting, it was only (!) the index feeds that froze up. Stocks continued to trade normally.