From 814ea051f1fa2ce377fbbe3c70b2e1b2c485867f Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 23 Oct 2012 13:09:26 +0200 Subject: [PATCH] Fixed compilation --- library/server/wsf/src/wsf_request.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e index 6ddfb784..67820eee 100644 --- a/library/server/wsf/src/wsf_request.e +++ b/library/server/wsf/src/wsf_request.e @@ -1369,7 +1369,7 @@ feature -- URL Utility if s = Void then if 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 create s.make_from_string ("https://") else