Having a troller on team?

So we had this situation today: we had a teammate who got upset because of a failed gank so he tried inting and telling our junglers location in all chat... Is that now a reason to instantly ban him or will he get away with it easily?