version 1.35.2.6.2.6, 2023/07/05 21:13:07
|
version 1.35.2.6.2.7, 2024/10/08 20:46:49
|
Line 63 sub do_redirect {
|
Line 63 sub do_redirect {
|
my $start_page = |
my $start_page = |
&Apache::loncommon::start_page('Switching Server ...',undef, |
&Apache::loncommon::start_page('Switching Server ...',undef, |
{'redirect' => [$delay,$url,'',$write_to_opener,1], |
{'redirect' => [$delay,$url,'',$write_to_opener,1], |
'only_body' => $only_body,}); |
'only_body' => $only_body, |
|
'switchserver' => 1, |
|
'links_disabled' => 1, |
|
'no_inline_link' => 1,}); |
my $end_page = &Apache::loncommon::end_page(); |
my $end_page = &Apache::loncommon::end_page(); |
$r->print($start_page.$extra_text.$end_page); |
$r->print($start_page.$extra_text.$end_page); |
unless ($env{'user.name'} eq 'public' && ($env{'user.domain'} eq 'public')) { |
unless ($env{'user.name'} eq 'public' && ($env{'user.domain'} eq 'public')) { |