Merge branch 'master' into es17.01

examples/demo/server.ini

@@ -5,5 +5,5 @@ socket_timeout=60
 socket_recv_timeout=45
 keep_alive_timeout=25
 ssl_enabled=false
-ssl_ca_key=demo.key
-ssl_ca_crt=demo.crt
+ssl_ca_key=server.key
+ssl_ca_crt=server.crt

examples/demo/src/demo_cms_server.e

@@ -10,9 +10,16 @@ class
 
 inherit
 	ROC_CMS_LAUNCHER [DEMO_CMS_EXECUTION]
+		redefine
+			optional_application_name
+		end
 
 create
 	make_and_launch
 
+feature -- Access	
+
+	optional_application_name: STRING_32 = "server"
+
 end