version 1.160, 2015/03/09 19:07:09
|
version 1.161, 2016/01/28 19:37:42
|
Line 209 if ($student_names=~/_END_/) {
|
Line 209 if ($student_names=~/_END_/) {
|
@names_pack=split(/_ENDPERSON_/,$student_names); |
@names_pack=split(/_ENDPERSON_/,$student_names); |
} |
} |
if ($backref) { |
if ($backref) { |
print('<p>'.&mt("[_1]Return[_2] to editing resource.", |
print('<p>'.&mt("[_1]Return[_2] to resource.", |
"<a href=\"$backref\"><b>","</b></a>").'</p>'); |
"<a href=\"$backref\"><b>","</b></a>").'</p>'); |
|
print('<p><a href="javascript:gopost(\'/adm/printout\',\''.$backref.'\');">'. |
|
&mt("Change Printing Options").'</a></p>'."\n"); |
} |
} |
my $figfile = $texfile; |
my $figfile = $texfile; |
$figfile =~ s/^(.*_printout)_\d+_\d+_\d+\.tex/$1\.dat/; |
$figfile =~ s/^(.*_printout)_\d+_\d+_\d+\.tex/$1\.dat/; |