If host don't have port, by default is 80

joanhey · Jun 4, 2024 · 9832495 · 9832495
1 parent 3e3c3ad
commit 9832495
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/Http.php b/src/Http.php
@@ -385,11 +385,9 @@ public static function decode(string $recv_buffer, TcpConnection $connection): v
                 case 'HOST':
                     $tmp = \explode(':', $value);
                     $_SERVER['SERVER_NAME'] = $tmp[0];
-                    if (isset($tmp[1])) {
-                        $_SERVER['SERVER_PORT'] = $tmp[1];
-                    }
+                    $_SERVER['SERVER_PORT'] = $tmp[1] ?? 80;
                     break;
-                    // cookie
+                // cookie
                 case 'COOKIE':
                     \parse_str(\str_replace('; ', '&', $_SERVER['HTTP_COOKIE']), $_COOKIE);
                     break;