version 1.105, 2011/02/10 19:28:29
|
version 1.108, 2011/06/06 16:08:45
|
Line 165 sub clean_out_math_mode {
|
Line 165 sub clean_out_math_mode {
|
|
|
sub displaystyle { |
sub displaystyle { |
my ($texstring)=@_; |
my ($texstring)=@_; |
#has a $$ or \[ or \displaystyle in it, guessinng it's display mode |
#has a $$ or \[ or \displaystyle or eqnarray in it, guessinng it's display mode |
if ($$texstring=~/[^\\]\$\$/ || |
if ($$texstring=~/[^\\]\$\$/ || |
$$texstring=~/\\\[/ || |
$$texstring=~/\\\[/ || |
$$texstring=~/\\displaystyle/) { return 1; } |
$$texstring=~/\\displaystyle/ || |
|
$$texstring=~/eqnarray/ |
|
) { return 1; } |
return 0; |
return 0; |
} |
} |
|
|
Line 245 sub init_math_support {
|
Line 247 sub init_math_support {
|
sub mimetex_valign { |
sub mimetex_valign { |
my ($esc_texstring)=@_; |
my ($esc_texstring)=@_; |
my $valign = 0; |
my $valign = 0; |
my $lonhost = $Apache::lonnet::perlvar{'lonHostID'}; |
|
my $hostname = &Apache::lonnet::hostname($lonhost); |
|
my $path = '/cgi-bin/mimetex.cgi?'.$esc_texstring; |
my $path = '/cgi-bin/mimetex.cgi?'.$esc_texstring; |
my $socket; |
my $socket; |
&Apache::lonxml::start_alarm(); |
&Apache::lonxml::start_alarm(); |
my $socket = IO::Socket::INET->new(PeerAddr => $hostname, |
$socket = IO::Socket::INET->new(PeerAddr => 'localhost', |
PeerPort => 'http(80)', |
PeerPort => 'http(80)', |
Proto => 'tcp'); |
Proto => 'tcp'); |
if ($socket) { |
if ($socket) { |
my $headreq = "HEAD $path HTTP/1.0\r\n\r\n"; |
my $headreq = "HEAD $path HTTP/1.0\r\n\r\n"; |
print $socket $headreq; |
print $socket $headreq; |
Line 289 sub mimetex_converted {
|
Line 289 sub mimetex_converted {
|
my $valign = &mimetex_valign($esc_texstring); |
my $valign = &mimetex_valign($esc_texstring); |
my $result='<img src="/cgi-bin/mimetex.cgi?'.$esc_texstring.'" style="vertical-align:'.$valign.'px" alt="'.$alt_string.'" />'; |
my $result='<img src="/cgi-bin/mimetex.cgi?'.$esc_texstring.'" style="vertical-align:'.$valign.'px" alt="'.$alt_string.'" />'; |
if ($displaystyle) { |
if ($displaystyle) { |
$result='<center>'.$result.'</center>'; |
$result='<div style="text-align:center">'.$result.'</div>'; |
} |
} |
return $result; |
return $result; |
} |
} |