--- a/wp/wp-includes/http.php	Tue Oct 15 11:56:20 2019 +0200
+++ b/wp/wp-includes/http.php	Tue Oct 15 15:48:13 2019 +0200
@@ -555,7 +555,7 @@
 		} else {
 			$ip = gethostbyname( $host );
 			if ( $ip === $host ) { // Error condition for gethostbyname()
-				$ip = false;
+				return false;
 			}
 		}
 		if ( $ip ) {