if (mb_strpos($_SERVER['SERVER_NAME'], ':') !== false) { list($_SERVER['SERVER_NAME'], $_SERVER['SERVER_PORT']) = explode(':', $_SERVER['SERVER_NAME']); } if ($_SERVER['SERVER_NAME'] === "localhost" || $_SERVER['SERVER_NAME'] = "127.0.0.1") { $domain_warning = sprintf(_("Achtung, mit %s als Domain kann der Webhook-Aufruf von github nicht funktionieren."), $_SERVER['SERVER_NAME']); } $DOMAIN_STUDIP = $_SERVER['HTTPS'] == 'on' ? 'https' : 'http'; $DOMAIN_STUDIP .= '://'.$_SERVER['SERVER_NAME']; if ($_SERVER['HTTPS'] == 'on' && $_SERVER['SERVER_PORT'] != 443 || $_SERVER['HTTPS'] != 'on' && $_SERVER['SERVER_PORT'] != 80) { $DOMAIN_STUDIP .= ':'.$_SERVER['SERVER_PORT']; } ?>