--- loncom/loncron 2000/12/06 21:11:35 1.7 +++ loncom/loncron 2000/12/08 22:08:57 1.8 @@ -312,7 +312,7 @@ if (-e $londfile) { print $fh "

lond at pid $londpid responding

"; $restartflag=0; } else { - $errors++; $errors++; + $errors++; print $fh "

lond at pid $londpid not responding

"; # Intelligently handle this. # Possibility #1: there is no process @@ -321,14 +321,17 @@ if (-e $londfile) { unlink($londfile); $restartflag=1; } + else { # Possibility #2: there is a zombie process # Possibility #3: there is a live process that is not responding # for an unknown reason # Solution: kill process, remove .pid and restart - kill 2 => $londpid; - unlink($londfile); - $restartflag=1; - print $fh "

Deciding to clean up stale .pid file and restart lond

"; + kill 2 => $londpid; + unlink($londfile); + $restartflag=1; + } + print $fh + "

Deciding to clean up stale .pid file and restart lond

"; } } if ($restartflag==1) { @@ -411,7 +414,7 @@ if (-e $loncfile) { kill USR1 => $loncpid; $restartflag=0; } else { - $errors++; $errors++; + $errors++; print $fh "

lonc at pid $loncpid not responding

"; # Intelligently handle this. # Possibility #1: there is no process @@ -420,14 +423,17 @@ if (-e $loncfile) { unlink($loncfile); $restartflag=1; } + else { # Possibility #2: there is a zombie process # Possibility #3: there is a live process that is not responding # for an unknown reason # Solution: kill process, remove .pid and restart - kill 2 => $loncpid; - unlink($loncfile); - $restartflag=1; - print $fh "

Deciding to clean up stale .pid file and restart lonc

"; + kill 2 => $loncpid; + unlink($loncfile); + $restartflag=1; + } + print $fh + "

Deciding to clean up stale .pid file and restart lonc

"; } } if ($restartflag==1) {