I don't think it particularly matters whether he leaves or not
and I certainly wouldn't try to get him to come back, even if he "apologized" (he didn't, and if he had, it would have only been to get people to stop bothering him)
if for some reason you think he wasn't in the wrong, you shouldn't want him to come back either. he left because of hostility, right? well, it's just going to happen again if he does