version 1.14, 2003/08/01 19:20:26
|
version 1.15, 2003/08/05 12:52:23
|
Line 206 ENDHEADER
|
Line 206 ENDHEADER
|
print ("<tr><td bgcolor='#DDBBBB'><font color='#552222' size='+2'>$trouble</font></td></tr>"); |
print ("<tr><td bgcolor='#DDBBBB'><font color='#552222' size='+2'>$trouble</font></td></tr>"); |
} |
} |
print "<tr><td bgcolor='#BBBBBB'>"; |
print "<tr><td bgcolor='#BBBBBB'>"; |
|
# version |
|
if ($host{$local.'_version'}) { |
|
print "<br />Version: ".$host{$local.'_version'} |
|
} |
# load |
# load |
if (($host{$local.'_load_doomed'}>0.5) || ($mode eq 'load_doomed')) { |
if (($host{$local.'_load_doomed'}>0.5) || ($mode eq 'load_doomed')) { |
print "<br />Load: ".$host{$local.'_load'} |
print "<br />Load: ".$host{$local.'_load'} |
Line 393 foreach $local (sort keys %hostname) {
|
Line 397 foreach $local (sort keys %hostname) {
|
$host{$local.'_errors'}=$loncron{'errors'}; |
$host{$local.'_errors'}=$loncron{'errors'}; |
} |
} |
} |
} |
|
# -- Check version |
|
&statuslist($local,'Version'); |
|
my $version=&request($local,'/lon-status/version.txt',7200); |
|
if ($version eq 'local_error') { |
|
$host{$local.'_version'}='Could not determine.'; |
|
$host{$local.'_unresponsive_doomed'}++; |
|
} else { |
|
$host{$local.'_version'}=$version; |
|
} |
# -- Check user status |
# -- Check user status |
&statuslist($local,'Users'); |
&statuslist($local,'Users'); |
my %userstatus=&replyhash($local,'/cgi-bin/userstatus.pl?simple',600); |
my %userstatus=&replyhash($local,'/cgi-bin/userstatus.pl?simple',600); |
Line 570 foreach $local (sort keys %hostname) {
|
Line 583 foreach $local (sort keys %hostname) {
|
my $count=0; |
my $count=0; |
foreach $local (sort keys %hostname) { |
foreach $local (sort keys %hostname) { |
my $trouble=''; |
my $trouble=''; |
|
if ($host{$local.'_unresponsive_doomed'}>3) { |
|
$trouble='Does not respond to several queries.<br />'; |
|
} |
if ($host{$local.'_errors'}) { |
if ($host{$local.'_errors'}) { |
$trouble='Has loncron errors.<br />'; |
$trouble='Has loncron errors.<br />'; |
} elsif ($host{$local.'_loncron_doomed'}>600) { |
} elsif ($host{$local.'_loncron_doomed'}>600) { |