version 1.158, 2014/02/17 12:39:42
|
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/; |
Line 933 sub convert_figure {
|
Line 935 sub convert_figure {
|
|
|
# Spaces are problematic for system commands and LaTeX, replace with _ |
# Spaces are problematic for system commands and LaTeX, replace with _ |
|
|
$eps_f =~ s/ /\_/g; |
$eps_f =~ s/ /\_/g; |
|
|
# |
# |
# If the file is already an .eps or .ps file (eps_f still has the original |
# If the file is already an .eps or .ps file (eps_f still has the original |
Line 1160 sub analyze_logfile {
|
Line 1162 sub analyze_logfile {
|
my $whereitends = index $body_log_file,'STAMPOFPASSEDRESOURCEEND',$whereitbegins; |
my $whereitends = index $body_log_file,'STAMPOFPASSEDRESOURCEEND',$whereitbegins; |
print "<br />" |
print "<br />" |
.&mt('It has found an error in [_1][_2]and corrected it.',substr($body_log_file,$whereitbegins+26,$whereitends-$whereitbegins-26),"<br />")."\n"; |
.&mt('It has found an error in [_1][_2]and corrected it.',substr($body_log_file,$whereitbegins+26,$whereitends-$whereitbegins-26),"<br />")."\n"; |
print &mt('Usually this correction is valid but you probably need to check the indicated resource one more time and implement neccessary corrections by yourself.')."\n"; |
print &mt('Usually this correction is valid but you probably need to check the indicated resource one more time and implement necessary corrections by yourself.')."\n"; |
$whereitbegins = index $body_log_file,'<inserted text>',$tempobegin+10; |
$whereitbegins = index $body_log_file,'<inserted text>',$tempobegin+10; |
} |
} |
|
|