version 1.65, 2023/06/02 01:20:26
|
version 1.67, 2024/10/09 15:23:35
|
Line 31 package Apache::switchserver;
|
Line 31 package Apache::switchserver;
|
use strict; |
use strict; |
use Apache::Constants qw(:common :remotehost); |
use Apache::Constants qw(:common :remotehost); |
use Apache::lonnet; |
use Apache::lonnet; |
|
use Apache::loncommon; |
use Digest::MD5 qw(md5_hex); |
use Digest::MD5 qw(md5_hex); |
use CGI::Cookie(); |
use CGI::Cookie(); |
use Apache::lonlocal; |
use Apache::lonlocal; |
Line 63 sub do_redirect {
|
Line 64 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,}); |
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')) { |