if he could really do it then he was probably an admin at the server because they are they only ones I know that can get an IP from whois information. Most servers usually mask IP's on connect so normal users cant collect IP's.