version 1.8, 2000/12/08 22:08:57
|
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 |
kill 2 => $londpid; |
`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 |
kill 2 => $loncpid; |
`killall -9 lonc`; |
unlink($loncfile); |
unlink($loncfile); |
$restartflag=1; |
$restartflag=1; |
} |
} |