--- 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) {