We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 20ed000 commit da8028fCopy full SHA for da8028f
library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
@@ -81,9 +81,8 @@ feature -- Element change
81
unset_http_server_name
82
do
83
http_server_name := Void
84
- --| Missing postcondition
85
- --| ensure
86
- --| unser_http_server_name: http_server_name = Void.
+ ensure
+ unset_http_server_name: http_server_name = Void
87
end
88
89
set_http_server_port (v: like http_server_port)
0 commit comments