The player has been warned, he'll be shunned next time if he repeats the same action.
Keep this thing to server related and don't be over rarted for some useless server wars. I would suggest using /ignore command rather than putting coals in the fire.