summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2020-06-28 22:39:49 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2020-06-28 22:39:49 +0200
commit385052cb493e2b0f56c3c4a874e46d2028ce18ec (patch)
tree5957c742d7d894be34434afddec0b7073e31cf8b
parent8c2243f05b4aa671cdcd4cfd614055ef6f80e20c (diff)
-actually shutdown
-rw-r--r--src/namestore/gnunet-namestore.c1
1 files changed, 1 insertions, 0 deletions
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;
}