[GNUnet-SVN] [gnunet] branch master updated: REST: free header

[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 f38b77438 REST: free header
f38b77438 is described below

commit f38b77438b16d13a8820b671d0e0a75da0fc1ead
Author: Schanzenbach, Martin <address@hidden>
AuthorDate: Wed Nov 28 09:42:24 2018 +0100

    REST: free header
---
 src/rest-plugins/plugin_rest_openid_connect.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/rest-plugins/plugin_rest_openid_connect.c 
b/src/rest-plugins/plugin_rest_openid_connect.c
index 8f11455b4..3cf4d4360 100644
--- a/src/rest-plugins/plugin_rest_openid_connect.c
+++ b/src/rest-plugins/plugin_rest_openid_connect.c
@@ -1450,7 +1450,8 @@ login_cont (struct GNUNET_REST_RequestHandle *con_handle,
                                        
GNUNET_CONTAINER_MULTIHASHMAPOPTION_REPLACE);
   }
   handle->proc (handle->proc_cls, resp, MHD_HTTP_OK);
-  GNUNET_free(cookie);
+  GNUNET_free (cookie);
+  GNUNET_free (header_val);
   json_decref (root);
   GNUNET_SCHEDULER_add_now (&cleanup_handle_delayed, handle);
 }

-- 
To stop receiving notification emails like this one, please contact
address@hidden