version 1.179, 2003/06/04 14:49:20
|
version 1.180, 2003/06/04 20:32:30
|
Line 154 sub setup_rndseed {
|
Line 154 sub setup_rndseed {
|
$rndseed=int(rand(1000000000)); |
$rndseed=int(rand(1000000000)); |
} |
} |
$ENV{'form.rndseed'}=$rndseed; |
$ENV{'form.rndseed'}=$rndseed; |
|
delete($ENV{'form.resetdata'}); |
|
delete($ENV{'form.newrandomization'}); |
} |
} |
&Apache::lonxml::debug("Setting rndseed to $rndseed"); |
&Apache::lonxml::debug("Setting rndseed to $rndseed"); |
&Apache::run::run('$external::randomseed='.$rndseed.';',$safeeval); |
&Apache::run::run('$external::randomseed='.$rndseed.';',$safeeval); |