I got physically attacked on the playground pretty much every day for years in elementary school. I feared my parents more than the attackers, so I took my lumps and never fought back. The teachers didn't care. One day I had enough. Grabbed the kid punching me, threw him to the ground, and kicked him a couple dozen times. He had bruises on his arms, legs, and torso and probably a few bruised ribs. The principal told me that fighting is never ok, but she didn't see it so couldn't say if there was a fight or not and warned me against getting into any fights in the future because she'd probably see those... First time any staff stood up for me. No problem though, every one of those kids left me alone and never bothered me again.
I got physically attacked on the playground pretty much every day for years in elementary school. I feared my parents more than the attackers, so I took my lumps and never fought back. The teachers didn't care. One day I had enough. Grabbed the kid punching me, threw him to the ground, and kicked him a couple dozen times. He had bruises on his arms, legs, and torso and probably a few bruised ribs. The principal told me that fighting is never ok, but she didn't see it so couldn't say if there was a fight or not and warned me against getting into any fights in the future because she'd probably see those... First time any staff stood up for me. No problem though, every one of those kids left me alone and never bothered me again.
You had an uncommonly principled principal.