Fixing global EWF compilation

This commit is contained in:
Jocelyn Fiat
2013-01-31 16:21:16 +01:00
parent a5c9329ada
commit 56df2b085e

View File

@@ -31,7 +31,7 @@ feature {NONE} -- Initialization
-- To use particular port number (as 9090) with Nino connector
-- Uncomment the following line
-- set_service_option ("port", 9090)
set_service_option ("port", 9090)
make_and_launch
end
@@ -79,12 +79,6 @@ feature -- Configuration
feature -- Execution
execute_default (req: WSF_REQUEST; res: WSF_RESPONSE)
-- Default request handler if no other are relevant
do
res.redirect_now_with_content (req.script_url ("/"), "Redirection to " + req.script_url ("/"), "text/html")
end
execute_not_found (uri: READABLE_STRING_8; req: WSF_REQUEST; res: WSF_RESPONSE)
-- `uri' is not found, redirect to default page
do