What today's court ruling on the shutdown means