From 3f69081d325f6b72ac074df9989854c1cfe69267 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 17 Jun 2015 10:45:04 +0200 Subject: [PATCH] Added postcondition to ensure the result of {HTTP_CLIENT_REQUEST}.response is attached. (useless with void-safety compilation, but keep it for non void-safe execution). --- library/network/http_client/src/http_client_request.e | 2 ++ 1 file changed, 2 insertions(+) diff --git a/library/network/http_client/src/http_client_request.e b/library/network/http_client/src/http_client_request.e index 2d606ee0..573100a4 100644 --- a/library/network/http_client/src/http_client_request.e +++ b/library/network/http_client/src/http_client_request.e @@ -57,6 +57,8 @@ feature -- Access -- Execute the request and return the response. -- note: two consecutive calls will trigger two executions! deferred + ensure + Result_set: Result /= Void end feature {HTTP_CLIENT_SESSION} -- Execution