Made DEFAULT_SERVICE_LAUNCHER more flexible for the user.

library/server/ewsgi/connectors/nino/src/nino_service.e

@@ -29,6 +29,8 @@ feature {NONE} -- Implementation
 			create connector.make_with_base (app, a_base_url)
 		end
 
+feature -- Access
+
 	connector: WGI_NINO_CONNECTOR
 			-- Web server connector
 
@@ -65,6 +67,12 @@ feature -- Status settings
 			configuration.set_is_verbose (b)
 		end
 
+	set_base_url (s: detachable READABLE_STRING_8)
+			-- Set base_url to `s'
+		do
+			connector.set_base (s)
+		end
+
 feature -- Server
 
 	listen (a_port: INTEGER)

library/server/ewsgi/connectors/nino/src/wgi_nino_connector.e

@@ -58,7 +58,7 @@ feature -- Access
 
 feature -- Access
 
-	base: detachable STRING
+	base: detachable READABLE_STRING_8
 			-- Root url base
 
 feature -- Status report

library/server/ewsgi/connectors/nino/src/wgi_nino_handler.e

@@ -31,7 +31,7 @@ feature {NONE} -- Initialization
 
 feature -- Access
 
-	base: detachable STRING
+	base: detachable READABLE_STRING_8
 			-- Root url base
 
 feature -- Element change