got what he deserved

[Steely Jim]

For an attention-seeking griefer, negative attention is far superior to positive attention because people will invest more time in sustaining their negative attentions due to the temporary visceral-emotional relief it provides.

Personally, I just can't justify bringing punishment upon myself in the process of giving the griefer exactly what they want. They'll happily accept, as their reward, any scorn, ridicule, or other abuse that you want to heap on them. It all just sounds like victory cheering to them.