Senate leaders reach arrangement on funding bill - end shutdown.