REST: free header

diff --git a/src/rest-plugins/plugin_rest_openid_connect.c b/src/rest-plugins/plugin_rest_openid_connect.c
index 8f11455b4a100850231a067fcb112f17fb030262..3cf4d43604bfacbe818beb20e8246f006271e7b2 100644 (file)
--- 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);
 }