Merge branch 'master' into es17.01

2017-03-07 13:17:10 +01:00
parent d8745fd61d b2e795d2d1
commit fa19976f60
3 changed files with 29 additions and 3 deletions
--- a/library/server/wsf_html/form/wsf_form.e
+++ b/library/server/wsf_html/form/wsf_form.e
@@ -126,8 +126,6 @@ feature -- Optional
 feature -- Conversion

 	append_to_html (a_theme: WSF_THEME; a_html: STRING_8)
-		local
-			s: STRING_8
 		do
 			a_html.append ("<form action=%""+ action +"%"")
 			a_html.append (" method=%""+ method +"%"")