From 638cd4b4078194867345c825e61a4f79158b6bae Mon Sep 17 00:00:00 2001
From: Rene Thuemmler <rt@scientifics.de>
Date: Sun, 8 Sep 2019 00:25:39 +0200
Subject: [PATCH] remove pidfile when stopping server

---
 www/py-isso/files/isso.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/www/py-isso/files/isso.in b/www/py-isso/files/isso.in
index 34db7ab..bd834a3 100755
--- a/www/py-isso/files/isso.in
+++ b/www/py-isso/files/isso.in
@@ -67,6 +67,7 @@ isso_stop()
     local pid=$(cat $pidfile)
     echo "stopping isso (pid=$pid)"
     kill -- -$pid
+    rm -f ${pidfile}
   else
     echo "isso is not running"
   fi