mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Renamed feature 'set_ciphers' to 'set_ciphers_settings' and added description.

Browse Source
This commit is contained in:
jvelilla
2017-09-19 10:32:17 -03:00
parent bb334aef80
commit 6ed91699b8
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
library/network/http_client/src/http_client_session.e
View File

@@ -410,11 +410,12 @@ feature -- Element change
chunk_size := a_size chunk_size := a_size
end end
set_ciphers (a_list: READABLE_STRING_8) set_ciphers_settings (a_ciphers_settings: READABLE_STRING_8)
-- Set 'ciphers_settings' with 'a_ciphers_settings'.
do do
create {STRING_8} ciphers_settings.make_from_string (a_list) create {STRING_8} ciphers_settings.make_from_string (a_ciphers_settings)
ensure ensure
cipher_settings_set: attached ciphers_settings as c_list and then c_list.same_string (a_list) cipher_settings_set: attached ciphers_settings as c_settings and then c_settings.same_string (a_ciphers_settings)
end end
note note