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

nicer Eiffel code, let's not try to achieve everything-in-one-line style ...

Browse Source
This commit is contained in:
Jocelyn Fiat
2011-07-18 16:32:42 +02:00
parent f764e63b45
commit 0abab83566
1 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
library/server/ewsgi/examples/hello_world/src/hello_world.e
View File

@@ -15,12 +15,13 @@ feature {NONE} -- Initialization
make
do
print ("Example: start a Nino web server on port " + port_number.out + ", %Nand reply Hello World for any request such as http://localhost:8123/%N")
(create {GW_NINO_APPLICATION}.make (agent (req: GW_REQUEST; res: GW_RESPONSE)
do
res.output.put_header (200, <<["Content-Type", "text/plain"]>>)
res.output.put_string ("Hello World!%N")
end
)).listen (port_number)
(create {GW_NINO_APPLICATION}.make_custom (agent execute, "")).listen (port_number)
end
execute (req: GW_REQUEST; res: GW_RESPONSE)
do
res.output.put_header (200, <<["Content-Type", "text/plain"]>>)
res.output.put_string ("Hello World!%N")
end
port_number: INTEGER = 8123