projects
/
webmin.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dbe526e
)
Delete PID file at shutdown
author
Jamie Cameron
<jcameron@webmin.com>
Tue, 22 May 2007 16:06:39 +0000
(16:06 +0000)
committer
Jamie Cameron
<jcameron@webmin.com>
Tue, 22 May 2007 16:06:39 +0000
(16:06 +0000)
webmin-init
patch
|
blob
|
history
diff --git
a/webmin-init
b/webmin-init
index
fef3635
..
65ef217
100755
(executable)
--- a/
webmin-init
+++ b/
webmin-init
@@
-32,6
+32,11
@@
case "$1" in
if [ "$RETVAL" = "0" ]; then
rm -f $lockfile
fi
+ pidfile=`grep "^pidfile=" $confFile | sed -e 's/pidfile=//g'`
+ if [ "$pidfile" = "" ]; then
+ pidfile=$pidFile
+ fi
+ rm -f $pidfile
;;
'status')
pidfile=`grep "^pidfile=" $confFile | sed -e 's/pidfile=//g'`