version 1.382, 2003/06/19 19:37:45
|
version 1.383, 2003/06/30 18:30:42
|
Line 3190 sub courseresdata {
|
Line 3190 sub courseresdata {
|
# |
# |
|
|
sub clear_EXT_cache_status { |
sub clear_EXT_cache_status { |
&delenv('cache.'); |
&delenv('cache.EXT.'); |
} |
} |
|
|
sub EXT_cache_status { |
sub EXT_cache_status { |
my ($target_domain,$target_user) = @_; |
my ($target_domain,$target_user) = @_; |
my $cachename = 'cache.'.$target_user.'.'.$target_domain; |
my $cachename = 'cache.EXT.'.$target_user.'.'.$target_domain; |
if (exists($ENV{$cachename}) && ($ENV{$cachename}+1800) > time) { |
if (exists($ENV{$cachename}) && ($ENV{$cachename}+1800) > time) { |
# We know already the user has no data |
# We know already the user has no data |
return 1; |
return 1; |
Line 3206 sub EXT_cache_status {
|
Line 3206 sub EXT_cache_status {
|
|
|
sub EXT_cache_set { |
sub EXT_cache_set { |
my ($target_domain,$target_user) = @_; |
my ($target_domain,$target_user) = @_; |
my $cachename = 'cache.'.$target_user.'.'.$target_domain; |
my $cachename = 'cache.EXT.'.$target_user.'.'.$target_domain; |
&appenv($cachename => time); |
&appenv($cachename => time); |
} |
} |
|
|