From 9e467689df9f359b8a4b8446ae71fc509b75c6b6 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 12 May 2015 18:25:22 +0200 Subject: [PATCH] improved nino port number validation --- library/server/wsf/connector/nino/wsf_nino_service_launcher.e | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/server/wsf/connector/nino/wsf_nino_service_launcher.e b/library/server/wsf/connector/nino/wsf_nino_service_launcher.e index 7fa62a9e..8c7d3b88 100644 --- a/library/server/wsf/connector/nino/wsf_nino_service_launcher.e +++ b/library/server/wsf/connector/nino/wsf_nino_service_launcher.e @@ -147,11 +147,11 @@ 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 - copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Eiffel Software and others" + copyright: "2011-2015, Jocelyn Fiat, Javier Velilla, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software