version 1.1319, 2018/07/04 13:44:16
|
version 1.1320, 2018/07/04 16:58:22
|
Line 16444 sub init_user_environment {
|
Line 16444 sub init_user_environment {
|
opendir(DIR,$lonids); |
opendir(DIR,$lonids); |
while ($filename=readdir(DIR)) { |
while ($filename=readdir(DIR)) { |
if ($filename=~/^$username\_\d+\_$domain\_$authhost\.id$/) { |
if ($filename=~/^$username\_\d+\_$domain\_$authhost\.id$/) { |
if ($ENV{'SERVER_PORT'} == 443) { |
if (tie(my %oldenv,'GDBM_File',"$lonids/$filename", |
|
&GDBM_READER(),0640)) { |
my $linkedfile; |
my $linkedfile; |
if (tie(my %oldenv,'GDBM_File',"$lonids/$cookie.id", |
if (exists($oldenv{'user.linkedenv'})) { |
&GDBM_READER(),0640)) { |
$linkedfile = $oldenv{'user.linkedenv'}; |
if (exists($oldenv{'user.linkedenv'})) { |
|
$linkedfile = $oldenv{'user.linkedenv'}; |
|
} |
|
untie(%oldenv); |
|
} |
} |
if (unlink($lonids.'/'.$filename)) { |
untie(%oldenv); |
if ($linkedfile =~ /^[a-f0-9]+_linked\.id$/) { |
if (unlink("$lonids/$filename")) { |
unlink($lonids.'/'.$linkedfile); |
if ($linkedfile =~ /^[a-f0-9]+_linked$/) { |
|
if (-l "$lonids/$linkedfile.id") { |
|
unlink("$lonids/$linkedfile.id"); |
|
} |
} |
} |
} |
} |
} else { |
} else { |