Well the cops were. And they did nothing. What do you think teachers would have done?
Defended themselves. And the kids.