From 50f8a28a78e15925e835fbdd911f3dfeedeafefd Mon Sep 17 00:00:00 2001 From: Chris Roemmich Date: Fri, 16 Nov 2012 11:30:20 -0600 Subject: [PATCH] Delete pidfile on stop --- minecraft | 1 + 1 file changed, 1 insertion(+) diff --git a/minecraft b/minecraft index 5ba92d9..1578877 100755 --- a/minecraft +++ b/minecraft @@ -191,6 +191,7 @@ mc_stop() { exit 1 fi done + as_user "rm $pidfile" echo "$SERVICE is now shut down." }