version 1.180, 2003/06/16 20:54:39
|
version 1.182, 2003/06/17 16:01:30
|
Line 207 sub handler {
|
Line 207 sub handler {
|
## this once, so the pause indicator is deleted |
## this once, so the pause indicator is deleted |
## |
## |
if (exists($ENV{'form.pause'})) { |
if (exists($ENV{'form.pause'})) { |
sleep(3); |
sleep(1); |
delete($ENV{'form.pause'}); |
delete($ENV{'form.pause'}); |
} |
} |
## |
## |
Line 852 sub get_persistent_form_data {
|
Line 852 sub get_persistent_form_data {
|
# Loop through the keys, looking for 'form.' |
# Loop through the keys, looking for 'form.' |
foreach my $name (keys(%persistent_db)) { |
foreach my $name (keys(%persistent_db)) { |
next if ($name !~ /^form./); |
next if ($name !~ /^form./); |
|
# Kludgification begins! |
|
if ($name eq 'form.domains' && |
|
$ENV{'form.searchmode'} eq 'basic' && |
|
$ENV{'form.phase'} ne 'disp_basic') { |
|
next; |
|
} |
|
# End kludge (hopefully) |
next if (exists($ENV{$name})); |
next if (exists($ENV{$name})); |
my @values = map { |
my @values = map { |
&Apache::lonnet::unescape($_); |
&Apache::lonnet::unescape($_); |
Line 866 sub get_persistent_form_data {
|
Line 873 sub get_persistent_form_data {
|
untie (%persistent_db); |
untie (%persistent_db); |
return 1; |
return 1; |
} |
} |
|
|
###################################################################### |
###################################################################### |
###################################################################### |
###################################################################### |
|
|
Line 2394 sub display_results {
|
Line 2402 sub display_results {
|
."</center>\n" |
."</center>\n" |
); |
); |
if ($total_results == 0) { |
if ($total_results == 0) { |
$r->print("<h3>There are currently no results.</h3>Please try to reload this page, which will update the display.\n". |
$r->print('<meta HTTP-EQUIV="Refresh" CONTENT="1">'. |
|
'<h3>There are currently no results.</h3>'. |
"</form></body></html>"); |
"</form></body></html>"); |
return; |
return; |
} else { |
} else { |