[PHP-DEV] Sent location header with port!

[Johan Holst Nielsen]

Hi ppl   I have a problem with the header() function. I have to seen a header which contain a port! My script looks like this: <? header("Location: http://domain.com:8080/file.php3"); ?>   But it won't redirect! Anyway know a solution? Please help! Shall I define the port antoher place, or is it impossible to send a header containing a port?   With Best Regards   Johan Holst Nielsen