version 1.280, 2007/03/03 01:54:00
|
version 1.282, 2007/03/12 17:09:23
|
Line 750 sub setup_basic_search {
|
Line 750 sub setup_basic_search {
|
'</label>'; |
'</label>'; |
$onlysearchdomain = '<label>'.&mt('[_1] only search domain [_2]', |
$onlysearchdomain = '<label>'.&mt('[_1] only search domain [_2]', |
&Apache::lonhtmlcommon::checkbox('domains',$env{'form.domains'}, |
&Apache::lonhtmlcommon::checkbox('domains',$env{'form.domains'}, |
$r->dir_config('lonDefDomain'))). |
$r->dir_config('lonDefDomain')), |
|
$r->dir_config('lonDefDomain')). |
'</label>'; |
'</label>'; |
if ($area eq 'res') { |
if ($area eq 'res') { |
$inclext= '<label>'.&mt('[_1] include external resources', |
$inclext= '<label>'.&mt('[_1] include external resources', |
Line 2510 END
|
Line 2511 END
|
@Servers_to_contact = ($serverlist); |
@Servers_to_contact = ($serverlist); |
} |
} |
} else { |
} else { |
@Servers_to_contact = sort(keys(%Apache::lonnet::libserv)); |
my %all_library_servers = &Apache::lonnet::all_library(); |
|
@Servers_to_contact = sort(keys(%all_library_servers)); |
} |
} |
my %Server_status; |
my %Server_status; |
# |
# |