version 1.223, 2003/08/25 17:25:05
|
version 1.224, 2003/08/28 20:36:48
|
Line 915 ENDPART
|
Line 915 ENDPART
|
if ($helper->{'VARS'}->{'TABLE_INDEX'} eq 'yes') { |
if ($helper->{'VARS'}->{'TABLE_INDEX'} eq 'yes') { |
if ($selectionmade<10) {$selectionmade*=100;} else {$selectionmade*=10;} |
if ($selectionmade<10) {$selectionmade*=100;} else {$selectionmade*=10;} |
} |
} |
|
if ($ENV{'request.role.adv'}) {$selectionmade*=10000;} |
#-- writing .tex file in prtspool |
#-- writing .tex file in prtspool |
my $temp_file; |
my $temp_file; |
my $filename = "/home/httpd/prtspool/$ENV{'user.name'}_$ENV{'user.domain'}_printout_".time."_".rand(10000000).".tex"; |
my $filename = "/home/httpd/prtspool/$ENV{'user.name'}_$ENV{'user.domain'}_printout_".time."_".rand(10000000).".tex"; |