Merge branch 'master' into v1

2015-06-08 10:10:51 +02:00
parent 64463df552 61f90bba38
commit 9424b1e369
73 changed files with 5913 additions and 82 deletions
--- a/library/server/wsf/connector/nino/wsf_nino_service_launcher.e
+++ b/library/server/wsf/connector/nino/wsf_nino_service_launcher.e
@@ -147,7 +147,7 @@ feature -- Status report

 	launchable: BOOLEAN
 		do
-			Result := Precursor and port_number >= 0
+			Result := Precursor and 0 <= port_number and port_number <= {NATURAL_16}.max_value
 		end

 ;note