From 0f57c399aa3ed953cd86243d85a03590e3a3c7bb Mon Sep 17 00:00:00 2001 From: Matthias Wachs Date: Fri, 23 Apr 2010 09:14:49 +0000 Subject: [PATCH] --- src/hostlist/hostlist-client.c | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/src/hostlist/hostlist-client.c b/src/hostlist/hostlist-client.c index 2f66df95d..141e904c4 100644 --- a/src/hostlist/hostlist-client.c +++ b/src/hostlist/hostlist-client.c @@ -639,6 +639,23 @@ clean_up () { CURLMcode mret; + if ( ( testing_hostlist == GNUNET_YES ) && ( GNUNET_NO == download_successful) && (NULL != hostlist_to_test)) + { + GNUNET_log (GNUNET_ERROR_TYPE_INFO, + _("Advertised hostlist with URI `%s' could not be downloaded. Advertised URI gets dismissed.\n"),hostlist_to_test->hostlist_uri); + } + + if ( testing_hostlist == GNUNET_YES ) + { + testing_hostlist = GNUNET_NO; + } + if ( NULL != hostlist_to_test) + { + GNUNET_free (hostlist_to_test); + hostlist_to_test = NULL; + } + + if (multi != NULL) { mret = curl_multi_remove_handle (multi, curl); -- 2.25.1