#endif
client_disconnect(s);
//GNUNET_log_from (GNUNET_ERROR_TYPE_DEBUG, plugin->name,"Notifying about ended session to peer `%s' `%s'\n", GNUNET_i2s (&s->target), http_plugin_address_to_string (plugin, s->addr, s->addrlen));
- if (s->msg_tk != NULL)
- GNUNET_SERVER_mst_destroy (s->msg_tk);
notify_session_end (plugin, &s->target, s);
}
}
void
delete_session (struct Session *s)
{
+ if (s->msg_tk != NULL)
+ {
+ GNUNET_SERVER_mst_destroy (s->msg_tk);
+ s->msg_tk = NULL;
+ }
GNUNET_free (s->addr);
GNUNET_free_non_null(s->server_recv);
GNUNET_free_non_null(s->server_send);