From: lurchi <lurchi@strangeplace.net>
Date: Sat, 30 Dec 2017 19:46:59 +0000 (+0100)
Subject: Merge branch 'fix_social'
X-Git-Tag: gnunet-0.11.0rc0~48^2~1
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=5c8feda7faa01365a1fb6983595ceb65dfe4fb11;p=oweals%2Fgnunet.git

Merge branch 'fix_social'
---

5c8feda7faa01365a1fb6983595ceb65dfe4fb11
diff --cc src/social/gnunet-social.c
index de680b11c,0de8809ff..12c5bf2e1
--- a/src/social/gnunet-social.c
+++ b/src/social/gnunet-social.c
@@@ -281,9 -281,9 +281,9 @@@ exit_fail (
   * This also indicates the end of the connection to the service.
   */
  static void
 -host_left ()
 +host_left (void *cls)
  {
-   GNUNET_log (GNUNET_ERROR_TYPE_WARNING,
+   GNUNET_log (GNUNET_ERROR_TYPE_MESSAGE,
                "The host has left the place.\n");
    exit_success ();
  }