Hostnames are allowed to have dots in them
authorTim Starling <tstarling@users.mediawiki.org>
Tue, 30 Sep 2008 08:45:52 +0000 (08:45 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Tue, 30 Sep 2008 08:45:52 +0000 (08:45 +0000)
includes/GlobalFunctions.php

index 24b5815..4ceb2c7 100644 (file)
@@ -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];