Shutdown wouldn't delay Twitter's IPO filing