Issue #70: prise en compte du port http dans get_server_name()