Removed redefinitions that violates VDRS(4).

2019-05-30 16:21:53 +02:00
parent 5ff361af54
commit 5df220beef
4 changed files with 1 additions and 11 deletions
--- a/library/server/httpd/concurrency/thread/httpd_connection_handler.e
+++ b/library/server/httpd/concurrency/thread/httpd_connection_handler.e
@@ -10,9 +10,6 @@ class

 inherit
 	HTTPD_CONNECTION_HANDLER_I
-		redefine
-			initialize
-		end

 create
 	make
--- a/library/server/wsf/policy_driven/wsf_skeleton_handler.e
+++ b/library/server/wsf/policy_driven/wsf_skeleton_handler.e
@@ -12,9 +12,6 @@ deferred class WSF_SKELETON_HANDLER
 inherit

 	WSF_URI_TEMPLATE_HANDLER
-		redefine
-			execute
-		end

 	WSF_OPTIONS_POLICY

@@ -584,7 +581,7 @@ feature {NONE} -- Implementation
 		end

 note
-	copyright: "2011-2014, Colin Adams, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
+	copyright: "2011-2019, Colin Adams, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
 	source: "[
 			Eiffel Software
--- a/library/server/wsf_html/form/input/wsf_form_hidden_input.e
+++ b/library/server/wsf_html/form/input/wsf_form_hidden_input.e
@@ -10,7 +10,6 @@ class
 inherit
 	WSF_FORM_INPUT
 		redefine
-			input_type,
 			append_item_to_html
 		end

--- a/library/server/wsf_html/form/input/wsf_form_password_input.e
+++ b/library/server/wsf_html/form/input/wsf_form_password_input.e
@@ -9,9 +9,6 @@ class

 inherit
 	WSF_FORM_INPUT
-		redefine
-			input_type
-		end

 create
 	make,