michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-08 00:12:14 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,416 Commits 45 Branches 88 Tags
ba160dea83f6b289dfcd94de06f0dc859c7fa665
Commit Graph

4 Commits

Author SHA1 Message Date
Jamie Cameron
b7ec392bba Don't delete the PID file on stop, because we can't just assume the stop worked 2020-07-04 17:38:00 -07:00
yangfl
24fcd015d4 improve webmin-init 2017-10-20 17:22:19 +08:00
Jamie Cameron
103f2beab3 Delete PID file at shutdown 2007-05-22 16:06:39 +00:00
Jamie Cameron
fc1c1b243f Initial checkin of Webmin 2007-04-12 20:24:50 +00:00