Well.. a lot of pinhead parents, mostly inner-city African American parents, forced Florida police agencies to stop issuing tasers to their officers in schools, so if a student brings a gun to school the only weapons that the police have to counter them are a baton and a gun. Chalk it up to you get what you ask for.
Even worse in my opinion is that the kid used what's called a BB-gun that looks like a real gun. It might be a BB gun or an airsoft pellet gun, but in either case I'm sure there are soon to be calls for bans against these guns as a result of this shooting. Once again we'll all have to suffer with more laws because some ####### kid with problems and who could care less about laws got himself shot.