From da8028f8b30c9daaf3fb244921bdb605696daa5f Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 7 Apr 2015 14:47:38 +0200 Subject: [PATCH] Fixed a typo. --- .../src/httpd/configuration/httpd_configuration_i.e | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git 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 index e9f669db..6046dc2e 100644 --- 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 @@ -81,9 +81,8 @@ feature -- Element change unset_http_server_name do http_server_name := Void - --| Missing postcondition - --| ensure - --| unser_http_server_name: http_server_name = Void. + ensure + unset_http_server_name: http_server_name = Void end set_http_server_port (v: like http_server_port)