version 1.370, 2007/04/04 00:03:40
|
version 1.371, 2007/04/04 00:48:13
|
Line 5048 sub UpdateHosts {
|
Line 5048 sub UpdateHosts {
|
# either dropped or changed hosts. Note that the re-read of the table |
# either dropped or changed hosts. Note that the re-read of the table |
# will take care of new and changed hosts as connections come into being. |
# will take care of new and changed hosts as connections come into being. |
|
|
#FIXME need a way to tell lonnet that it needs to reset host |
&Apache::lonnet::reset_hosts_info(); |
#cached host info |
|
|
|
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 (!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); |