poi per stampare correttamente i dati del whois:

$corpo_pagina .= $whois->do_whois("$dominio");

invece di:

$corpo_pagina .= $whois->do_whois($_POST["dominio"]);