Open GoogleCodeExporter opened 9 years ago
I confirmed this. If DNS doesn't know the host, that's good enough for me. So
I
added the following code (just below where you mention):
} else {
// TONE
if ( strpos ( $errstr, "No such host is known" ) ) {
foreach($users as $user) {
$results[$user.'@'.$domain] = false;
}
}
}
Original comment by Tone.Ga...@gmail.com
on 26 Feb 2010 at 6:51
Could you please paste the patch with some context? It's not clear for me where
to include it, thanks!
Original comment by akosgabr...@gmail.com
on 7 Apr 2013 at 1:31
Original issue reported on code.google.com by
studiofaca
on 24 Jan 2010 at 12:27