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

Fixed compilation

Browse Source
This commit is contained in:
Jocelyn Fiat
2012-10-23 13:09:26 +02:00
parent 56214129bd
commit 814ea051f1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/server/wsf/src/wsf_request.e
View File

@@ -1369,7 +1369,7 @@ feature -- URL Utility
if s = Void then if s = Void then
if if
server_protocol.count >= 5 and then server_protocol.count >= 5 and then
server_protocol.substring (1, 5).is_case_insensitive_equal_general ("https") server_protocol.substring (1, 5).is_case_insensitive_equal ("https")
then then
create s.make_from_string ("https://") create s.make_from_string ("https://")
else else