remove pidfile when stopping server

2019-09-08 00:25:39 +02:00
parent 8722786e8e
commit 638cd4b407
1 changed files with 1 additions and 0 deletions
--- 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