VladPolskiy/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2025-07-29 11:50:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add back code to delete PID file on successful exit https://sourceforge.net/p/webadmin/bugs/5471/

Browse Source
This commit is contained in:
Jamie Cameron
2021-04-12 17:40:06 -07:00
parent 291a0f58eb
commit a7eaef4517
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
webmin-init
View File

@ -38,6 +38,11 @@ stop)
RETVAL=$?
if [ "$RETVAL" = "0" ]; then
rm -f $LOCKFILE
pidfile=`grep "^pidfile=" $CONFFILE | sed -e 's/pidfile=//g'`
if [ "$pidfile" = "" ]; then
pidfile=$PIDFILE
fi
rm -f $pidfile
fi
;;
status)