They did shoot him. Just with Rubber bullets which would be smarting a bit today. Can't see anyone here confronting someone with a knife who was agitated and chasing people. 7 Flights had to try and check in and get out with crew duty time issues so hopefully they all got out.