version 1.1414, 2023/11/03 01:12:15
|
version 1.1416, 2023/11/11 18:50:51
|
Line 6461 sub CSTR_pageheader {
|
Line 6461 sub CSTR_pageheader {
|
return $output; |
return $output; |
} |
} |
|
|
|
sub nocodemirror { |
|
my $nocodem = $env{'environment.nocodemirror'}; |
|
unless ($nocodem) { |
|
my %domdefs = &Apache::lonnet::get_domain_defaults($env{'user.domain'}); |
|
if ($domdefs{'nocodemirror'}) { |
|
$nocodem = 'yes'; |
|
} |
|
} |
|
return $nocodem; |
|
} |
|
|
############################################### |
############################################### |
############################################### |
############################################### |
|
|
Line 17563 sub init_user_environment {
|
Line 17574 sub init_user_environment {
|
|
|
my $public=($username eq 'public' && $domain eq 'public'); |
my $public=($username eq 'public' && $domain eq 'public'); |
|
|
my ($filename,$cookie,$userroles,$firstaccenv,$timerintenv); |
my ($filename,$cookie,$userroles,$firstaccenv,$timerintenv, |
|
$coauthorenv); |
my $now=time; |
my $now=time; |
|
|
if ($public) { |
if ($public) { |