From dc935786a3714bfaf5ae6964b2e6868928098bd8 Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Tue, 30 Sep 2008 08:45:52 +0000 Subject: [PATCH] Hostnames are allowed to have dots in them --- includes/GlobalFunctions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index 24b581562a..4ceb2c74cb 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -298,7 +298,7 @@ function wfErrorLog( $text, $file ) { $host = $m[2]; $port = $m[3]; $prefix = isset( $m[4] ) ? $m[4] : false; - } elseif ( preg_match( '!^(tcp|udp):(?://)?([a-zA-Z0-9-]+):(\d+)(?:/(.*))?$!', $file, $m ) ) { + } elseif ( preg_match( '!^(tcp|udp):(?://)?([a-zA-Z0-9.-]+):(\d+)(?:/(.*))?$!', $file, $m ) ) { $protocol = $m[1]; $host = $m[2]; $port = $m[3]; -- 2.20.1