backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

change to standard default values

Browse Source
This commit is contained in:
Jocelyn Fiat
2011-09-09 08:50:05 +02:00
parent 54dc7de189
commit c1120a4226
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
library/server/ewsgi/default/nino/default_wgi_application.e
View File

@@ -15,14 +15,20 @@ feature {NONE} -- Initialization
local local
app: NINO_APPLICATION app: NINO_APPLICATION
do do
port_number := 8123 port_number := 80
print ("Example: start a Nino web server on port " + port_number.out + ", %Nand reply Hello World for any request such as http://localhost:" + port_number.out + "/%N") base_url := ""
create app.make_custom (agent execute, "") debug ("nino")
print ("Example: start a Nino web server on port " + port_number.out +
", %Nand reply Hello World for any request such as http://localhost:" + port_number.out + "/" + base_url + "%N")
end
create app.make_custom (agent execute, base_url)
app.listen (port_number) app.listen (port_number)
end end
port_number: INTEGER port_number: INTEGER
base_url: STRING
invariant invariant
port_number_valid: port_number > 0 port_number_valid: port_number > 0
note note