20170710 business.india-business: NSE hit by technical glitch; trade halted