Fixed a typo.

2015-04-07 14:47:38 +02:00
parent 92a8e8094f
commit c820ef431b
1 changed files with 1 additions and 1 deletions
--- a/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
+++ b/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
@@ -82,7 +82,7 @@ feature -- Element change
 		do
 			http_server_name := Void
 		ensure 	
-			unset_http_server_name: http_server_name = Void.
+			unset_http_server_name: http_server_name = Void
 		end
 	set_http_server_port (v: like http_server_port)