From 35729b4ab6b55ffeea015b7465471a339b52f29e Mon Sep 17 00:00:00 2001
From: Olivier Ligot <oligot@gmail.com>
Date: Mon, 27 May 2013 09:15:12 +0200
Subject: [PATCH] Use port number 9090 instead of 80

Port 80 is often already used by standard webservers (Apache, nginx, ...).
Moreover, on Linux, ports below 1024 can only be opened by root.
---
 examples/simple/application.e | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/examples/simple/application.e b/examples/simple/application.e
index 532ddbfd..159f0cf4 100644
--- a/examples/simple/application.e
+++ b/examples/simple/application.e
@@ -8,12 +8,23 @@ class
 
 inherit
 	WSF_DEFAULT_SERVICE
+		redefine
+			initialize
+		end
 
 create
 	make_and_launch
 
 feature {NONE} -- Initialization
 
+	initialize
+			-- Initialize current service.
+		do
+			set_service_option ("port", 9090)
+		end
+
+feature -- Basic operations
+
 	execute (req: WSF_REQUEST; res: WSF_RESPONSE)
 		do
 			-- To send a response we need to setup, the status code and