port_in_redirect not working?

[Nginx User]

On 7 November 2011 22:44, Nginx User <nginx at nginxuser.net> wrote:
> You can try tricking php by putting $_SERVER["SERVER_PORT"] right at
> the top of your index php (or use autoprepend in php.ini so it applies
> to all php files).

That should read - You can try tricking php by putting
$_SERVER["SERVER_PORT"] = "80";