gnunet: terminate gnunet-rest-server.

[nikita <nikita%NetBSD.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	nikita <nikita%NetBSD.org@localhost>
Pushed By:	nikita
Date:		Mon Apr 4 13:04:27 2022 +0200
Changeset:	20cc92c60706bdcfd45542d7f60ed175ff173127

Modified Files:
	gnunet/files/gnunetuser.in

Log Message:
gnunet: terminate gnunet-rest-server.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=20cc92c60706bdcfd45542d7f60ed175ff173127

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 gnunet/files/gnunetuser.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diffs:
diff --git a/gnunet/files/gnunetuser.in b/gnunet/files/gnunetuser.in
index ec4adcba2c..b997e025ad 100755
--- a/gnunet/files/gnunetuser.in
+++ b/gnunet/files/gnunetuser.in
@@ -65,7 +65,9 @@ gnunet_stop()
 {
 	@ECHO@ "Stopping ${name}."
 	doit="@SU@ -m ${gnunetuser_user} -c '${gnunet_env} ${command} ${command_args} -e'"
-	eval $doit
+	eval $doit &
+	pkill -f gnunet-rest-server
+	kill -9 $(pgrep -f gnunet-rest-server)
 	# kill `cat ${pidfile}` 2>/dev/null
 	# check_pidfile
 	# kill ${pid}