[gnunet] branch master updated: -coverity

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 765fa87ed -coverity
765fa87ed is described below

commit 765fa87ed79537ec7ea497bc670200e09aa20e0d
Author: Martin Schanzenbach <mschanzenbach@posteo.de>
AuthorDate: Sat May 15 16:17:32 2021 +0200

    -coverity
---
 src/reclaim/plugin_rest_openid_connect.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/reclaim/plugin_rest_openid_connect.c 
b/src/reclaim/plugin_rest_openid_connect.c
index 88b928526..1c00abcbd 100644
--- a/src/reclaim/plugin_rest_openid_connect.c
+++ b/src/reclaim/plugin_rest_openid_connect.c
@@ -656,7 +656,10 @@ do_error (void *cls)
     handle->response_code = MHD_HTTP_BAD_REQUEST;
   resp = GNUNET_REST_create_response (json_error);
   if (MHD_HTTP_UNAUTHORIZED == handle->response_code)
-    MHD_add_response_header (resp, MHD_HTTP_HEADER_WWW_AUTHENTICATE, "Basic");
+    GNUNET_assert (MHD_NO !=
+                   MHD_add_response_header (resp,
+                                            MHD_HTTP_HEADER_WWW_AUTHENTICATE,
+                                            "Basic"));
   MHD_add_response_header (resp,
                            MHD_HTTP_HEADER_CONTENT_TYPE,
                            "application/json");

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.