version 1.110, 2008/08/08 10:08:48
|
version 1.110.2.1, 2008/12/21 04:36:58
|
Line 156 sub getEffectiveUrl {
|
Line 156 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}; |
|
|