diff options
Diffstat (limited to 'src/peerinfo-tool')
| -rw-r--r-- | src/peerinfo-tool/gnunet-peerinfo.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/peerinfo-tool/gnunet-peerinfo.c b/src/peerinfo-tool/gnunet-peerinfo.c index 6e1007e40d..0cb434d891 100644 --- a/src/peerinfo-tool/gnunet-peerinfo.c +++ b/src/peerinfo-tool/gnunet-peerinfo.c @@ -594,9 +594,12 @@ state_machine (void *cls, { GPI_plugins_load (cfg); if (GNUNET_SYSERR == parse_hello_uri (put_uri)) + { fprintf (stderr, _("Invalid URI `%s'\n"), - put_uri); + put_uri); + GNUNET_SCHEDULER_shutdown (); + } GNUNET_free (put_uri); put_uri = NULL; return; |