version 1.180, 2003/06/16 20:54:39
|
version 1.181, 2003/06/17 15:53:56
|
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 866 sub get_persistent_form_data {
|
Line 866 sub get_persistent_form_data {
|
untie (%persistent_db); |
untie (%persistent_db); |
return 1; |
return 1; |
} |
} |
|
|
###################################################################### |
###################################################################### |
###################################################################### |
###################################################################### |
|
|
Line 2394 sub display_results {
|
Line 2395 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 { |