I'm glad it worked out; it's hard to know what to do and react in the spur of the moment, but you're absolutely right to bring it up to management.
I had an issue in a game I ran recently: it was a new group, we didn't know each other well, and one player suddenly took a hard turn into chaotic evil with his character. It left me literally speechless at the table, and I sort of blinked for a few moments and then went on, but monitored the rest of the game more closely. Afterwards I emailed everyone to clarify that that sort of PC and PC behavior was not comfortable for me and wouldn't be happening again. I emailed the player privately as well, and he promised to rein it in and has done so.
(for those wondering: vivisection, burning surrendered helpless prisoners to death, and shades of killing the other PCs.)