Fixed value of SERVER_PORT for secure connection (i.e https:// ), by default it is 443 .

this was fooling WSF_REQUEST.absolute_url (...) .
This commit is contained in:
2020-02-26 22:46:50 +01:00
parent 49881b6429
commit 8760152441

View File

@@ -97,7 +97,7 @@ feature -- Request processing
(create {WGI_RESCUE_EXECUTION}).execute (req, res, (create {EXCEPTION_MANAGER}).last_exception) (create {WGI_RESCUE_EXECUTION}).execute (req, res, (create {EXCEPTION_MANAGER}).last_exception)
else else
-- Bad error. -- Bad error.
end end
rescue rescue
if l_output = Void or else not l_output.is_available then if l_output = Void or else not l_output.is_available then
report_error ("Missing WGI output") report_error ("Missing WGI output")
@@ -175,7 +175,11 @@ feature -- Request processing
l_server_port := l_host.substring (p+1, l_host.count) l_server_port := l_host.substring (p+1, l_host.count)
else else
l_server_name := l_host l_server_name := l_host
l_server_port := "80" -- Default if is_secure then
l_server_port := "443" -- Default for https://
else
l_server_port := "80" -- Default for http://
end
end end
else else
check host_available: False end check host_available: False end