|
From: Martin A. B. <mar...@hy...> - 2001-05-15 12:15:42
|
"Martin A. Brooks" wrote:
> Can anyone suggest a workaround/fix?
Here's a diff that should at least part fix this problem:
***************
*** 227,233 ****
if (empty($ScriptUrl)) {
$port = ($SERVER_PORT == 80) ? '' : ":$SERVER_PORT";
! $ScriptUrl = "http://$SERVER_NAME$port$SCRIPT_NAME";
}
if (defined('WIKI_ADMIN') && !empty($AdminUrl))
$ScriptUrl = $AdminUrl;
--- 227,234 ----
if (empty($ScriptUrl)) {
$port = ($SERVER_PORT == 80) ? '' : ":$SERVER_PORT";
! $proto = ($HTTPS == "on") ? "https" : "http";
! $ScriptUrl = "$proto://$SERVER_NAME$port$SCRIPT_NAME";
}
if (defined('WIKI_ADMIN') && !empty($AdminUrl))
$ScriptUrl = $AdminUrl;
|