fix

diff --git a/src/identity-provider/identity_provider_api.c b/src/identity-provider/identity_provider_api.c
index 9ea7a5d11d89b5fc5521a489d176e33de7e16efd..33efe726f9b409dcf0f62d9f0f54289f46c16b7c 100644 (file)
--- a/src/identity-provider/identity_provider_api.c
+++ b/src/identity-provider/identity_provider_api.c
@@ -1370,9 +1370,11 @@ GNUNET_IDENTITY_PROVIDER_ticket_revoke (struct GNUNET_IDENTITY_PROVIDER_Handle *
   GNUNET_memcpy (&msg[1],
                  ticket,
                  sizeof (struct GNUNET_IDENTITY_PROVIDER_Ticket));
-  if (NULL != h->mq)
+  if (NULL != h->mq) {
     GNUNET_MQ_send (h->mq,
                     op->env);
+    op->env = NULL;
+  }
   return op;
 }