version 1.373, 2007/04/10 23:11:30
|
version 1.374, 2007/05/31 05:17:48
|
Line 5048 sub UpdateHosts {
|
Line 5048 sub UpdateHosts {
|
|
|
foreach my $child (keys(%children)) { |
foreach my $child (keys(%children)) { |
my $childip = $children{$child}; |
my $childip = $children{$child}; |
if (!defined(&Apache::lonnet::get_hosts_from_ip($childip))) { |
if ($childip ne '127.0.0.1' |
|
&& !defined(&Apache::lonnet::get_hosts_from_ip($childip))) { |
logthis('<font color="blue"> UpdateHosts killing child ' |
logthis('<font color="blue"> UpdateHosts killing child ' |
." $child for ip $childip </font>"); |
." $child for ip $childip </font>"); |
kill('INT', $child); |
kill('INT', $child); |