![[BACK]](/icons/back.gif){kind=icon}
Return to lontexconvert.pm CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / xml|
Return to lontexconvert.pm CVS log | Up to [LON-CAPA] / loncom / xml |
| version 1.112.2.7, 2018/04/23 19:33:17 | version 1.112.2.8, 2019/02/15 17:52:54 |
|---|---|
| Line 328 sub tex_engine { | Line 328 sub tex_engine { |
| } | } |
| return $env{'environment.texengine'}; | return $env{'environment.texengine'}; |
| } | } |
| my $dom = $env{'request.role.domain'} || $env{'user.domain'}; | |
| my %domdefaults = &Apache::lonnet::get_domain_defaults($dom); | |
| if ($domdefaults{'texengine'} ne '') { | |
| return $domdefaults{'texengine'}; | |
| } | |
| return 'tth'; | return 'tth'; |
| } | } |