Did you record a demo or anything? I can't really just take your word for it. Also, given that he wasn't logged in, you'd have to give me the server and time he was on, and maybe we could track down his IP from the server admin.
Sometimes, in these situations, it's best to just use the "ignore" feature. Type "players" to get the player list, then type "ignore #" to ignore him.