Closed GoogleCodeExporter closed 9 years ago
It does work if you put "example.org:8080" as your hostname.
If you'd want to automatically detect the port number -- I don't know of a sane
way of doing this. `$_SERVER['SERVER_PORT']` doesn't work, because it returns
the port number the server listens on, not the port number that was accessed --
this isn't the same in all cases (for example, when redirecting ports on a
firewall).
Original comment by mewp...@gmail.com
on 13 Jul 2012 at 6:28
Original issue reported on code.google.com by
jason.ma...@gmail.com
on 9 Jul 2012 at 5:45