[gnunet] branch master updated: -actually shutdown

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 385052cb4 -actually shutdown
385052cb4 is described below

commit 385052cb493e2b0f56c3c4a874e46d2028ce18ec
Author: Martin Schanzenbach <mschanzenbach@posteo.de>
AuthorDate: Sun Jun 28 22:39:49 2020 +0200

    -actually shutdown
---
 src/namestore/gnunet-namestore.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/namestore/gnunet-namestore.c b/src/namestore/gnunet-namestore.c
index 1e0c6fdbc..f438de136 100644
--- a/src/namestore/gnunet-namestore.c
+++ b/src/namestore/gnunet-namestore.c
@@ -1094,6 +1094,7 @@ run_with_zone_pkey (const struct 
GNUNET_CONFIGURATION_Handle *cfg)
       fprintf (stderr,
                _ ("For DNS record types `SRV', `TLSA' and `OPENPGPKEY'"));
       fprintf (stderr, ", please use a `BOX' record instead\n");
+      GNUNET_SCHEDULER_shutdown ();
       ret = 1;
       return;
     }

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.