version 1.9, 2000/12/08 23:33:36
|
version 1.10, 2000/12/08 23:17:26
|
Line 322 if (-e $londfile) {
|
Line 322 if (-e $londfile) {
|
$restartflag=1; |
$restartflag=1; |
} |
} |
else { |
else { |
# Possibility #2: there is a zombie process |
# Possibility #2: there is a live process that is not responding |
# Possibility #3: there is a live process that is not responding |
|
# for an unknown reason |
# for an unknown reason |
# Solution: kill process, remove .pid and restart |
# Solution: kill parent and children processes, remove .pid and restart |
`killall -9 lond`; |
`killall -9 lond`; |
unlink($londfile); |
unlink($londfile); |
$restartflag=1; |
$restartflag=1; |
Line 424 if (-e $loncfile) {
|
Line 423 if (-e $loncfile) {
|
$restartflag=1; |
$restartflag=1; |
} |
} |
else { |
else { |
# Possibility #2: there is a zombie process |
# Possibility #2: there is a live process that is not responding |
# Possibility #3: there is a live process that is not responding |
|
# for an unknown reason |
# for an unknown reason |
# Solution: kill process, remove .pid and restart |
# Solution: kill parent and children processes, remove .pid and restart |
`killall -9 lonc`; |
`killall -9 lonc`; |
unlink($loncfile); |
unlink($loncfile); |
$restartflag=1; |
$restartflag=1; |