Compare commits
31 Commits
concurrent
...
v1.0.1
| Author | SHA1 | Date | |
|---|---|---|---|
| fffa763d05 | |||
| d015c065f6 | |||
| 8ea443c115 | |||
| 019393fdb1 | |||
| da8028f8b3 | |||
| 20ed000879 | |||
|
|
24620b228c | ||
|
|
9c7e29b836 | ||
|
|
a0e9a41e21 | ||
|
|
dd9aff03d3 | ||
|
|
dc35925eb0 | ||
| a1a620a9c3 | |||
| d8ea9ba63c | |||
| c42af5b2de | |||
| d9cbc72058 | |||
| 7e057b20b1 | |||
| 3165c1e5c6 | |||
| 89e26519e4 | |||
| 9d20e85c03 | |||
| 48cb99498c | |||
| 8246bc1444 | |||
| 9e1083eba8 | |||
| 4907bc3085 | |||
| 7d2ce8a77f | |||
| b4a9c92ffc | |||
| bf0eb9a02d | |||
| ddf73077b3 | |||
| 3da80fce0d | |||
| 0970de5dc6 | |||
| 557b11f4e6 | |||
| 7f27a6c797 |
@@ -162,7 +162,6 @@ feature -- Element change
|
|||||||
else
|
else
|
||||||
is_secure := False
|
is_secure := False
|
||||||
end
|
end
|
||||||
--| Missing postcondition
|
|
||||||
ensure
|
ensure
|
||||||
is_secure_set: has_ssl_support implies is_secure
|
is_secure_set: has_ssl_support implies is_secure
|
||||||
-- http_server_port_set: has_ssl_support implies http_server_port = 443
|
-- http_server_port_set: has_ssl_support implies http_server_port = 443
|
||||||
|
|||||||
Reference in New Issue
Block a user