version 1.117, 2008/12/17 13:04:08
|
version 1.118, 2008/12/19 03:54:19
|
Line 159 sub getEffectiveUrl {
|
Line 159 sub getEffectiveUrl {
|
# Replace the ~username of the URL with /home/username/public_html |
# Replace the ~username of the URL with /home/username/public_html |
# so that we don't have to worry about ~ expansion internally. |
# so that we don't have to worry about ~ expansion internally. |
# |
# |
$fn=~s/^http\:\/\/[^\/]+\///; |
$fn=~s/^https?\:\/\/[^\/]+\///; |
$fn=~s/^\///; |
$fn=~s/^\///; |
$fn=~s{~($LONCAPA::username_re)}{/home/$1/public_html}; |
$fn=~s{~($LONCAPA::username_re)}{/home/$1/public_html}; |
|
|