SERVER_PORT force int

joanhey · Jun 5, 2024 · 050881a · 050881a
1 parent 1a00015
commit 050881a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Http.php b/src/Http.php
@@ -385,7 +385,7 @@ public static function decode(string $recv_buffer, TcpConnection $connection): v
                 case 'HOST':
                     $tmp = \explode(':', $value);
                     $_SERVER['SERVER_NAME'] = $tmp[0];
-                    $_SERVER['SERVER_PORT'] = $tmp[1] ?? 80;
+                    $_SERVER['SERVER_PORT'] = (int) ($tmp[1] ?? 80);
                     break;
                 // cookie
                 case 'COOKIE':