Irish referee to undergo operation after severe beating by players after match.

The spectator had already assaulted a referee previously, so yeah, should be a lifetime ban for him. 40 years for the players ends their football playing for life, so fair enough.