version 1.434, 2011/10/01 03:19:06
|
version 1.435, 2011/10/26 02:09:45
|
Line 4194 sub get_eps_image {
|
Line 4194 sub get_eps_image {
|
close(FILE); |
close(FILE); |
} |
} |
$src=~s|/home/httpd/html/res|/home/httpd/prtspool|; |
$src=~s|/home/httpd/html/res|/home/httpd/prtspool|; |
$src=~s|/home/([^/]*)/public_html/|/home/httpd/prtspool/$1/|; |
$src=~s|/home/httpd/html/priv/[^/]+/([^/]*)/|/home/httpd/prtspool/$1/|; |
if ($sext ne "") { # Put the ext. back in to uniquify. |
if ($sext ne "") { # Put the ext. back in to uniquify. |
$src =~ s/\.eps$/$sext.eps/; |
$src =~ s/\.eps$/$sext.eps/; |
} |
} |
Line 4213 sub get_eps_image {
|
Line 4213 sub get_eps_image {
|
print FILE "$src\n"; |
print FILE "$src\n"; |
close FILE; |
close FILE; |
$src=~s|/home/httpd/html/res|/home/httpd/prtspool|; |
$src=~s|/home/httpd/html/res|/home/httpd/prtspool|; |
$src=~s|/home/([^/]*)/public_html/|/home/httpd/prtspool/$1/|; |
$src=~s|/home/httpd/html/priv/[^/]+/([^/]*)/|/home/httpd/prtspool/$1/|; |
} |
} |
my ($path,$file)=($src=~m|(.*)/([^/]*)$|); |
my ($path,$file)=($src=~m|(.*)/([^/]*)$|); |
$path =~ s/ /\_/g; |
$path =~ s/ /\_/g; |
Line 4232 sub eps_generation {
|
Line 4232 sub eps_generation {
|
my $newsrc = $src; |
my $newsrc = $src; |
$newsrc =~ s/(\.bmp|\.gif|\.jpg|\.jpeg)$/\.eps/i; |
$newsrc =~ s/(\.bmp|\.gif|\.jpg|\.jpeg)$/\.eps/i; |
$newsrc=~s{/home/httpd/html/res}{}; |
$newsrc=~s{/home/httpd/html/res}{}; |
$newsrc=~s{/home/($LONCAPA::username_re)/public_html/}{/$1/}; |
$newsrc=~s{/home/httpd/html/priv/[^/]+/($LONCAPA::username_re)/}{/$1/}; |
$newsrc=~s{/\./}{/}; |
$newsrc=~s{/\./}{/}; |
$newsrc=~s{/([^/]+)\.(ps|eps)}{/}; |
$newsrc=~s{/([^/]+)\.(ps|eps)}{/}; |
if ($newsrc=~m{/home/httpd/lonUsers/}) { |
if ($newsrc=~m{/home/httpd/lonUsers/}) { |