It's not cool to call someone out, but it's even less cool to have to. What else was he supposed to do? Have a nice reasonable talk with a troll?

Better that he's making people aware rather then continuing a fight that was disrupting a service for others.