diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-06-28 22:39:49 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-06-28 22:39:49 +0200 |
commit | 385052cb493e2b0f56c3c4a874e46d2028ce18ec (patch) | |
tree | 5957c742d7d894be34434afddec0b7073e31cf8b | |
parent | 8c2243f05b4aa671cdcd4cfd614055ef6f80e20c (diff) |
-actually shutdown
-rw-r--r-- | src/namestore/gnunet-namestore.c | 1 |
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; } |