1

你会认为我应该在谷歌上找到这个,但我找不到。

配置文件

 [ENVIRONMENT]
env = prod
js_path = js/
css_path = css/
;host= www.xxxxxxxx.com
    host=http://localhost:8080/home  
test = 0

我需要在这里读取主机的值:

<?php
header('Location: ?????????????????');
echo 'Thank you for contacting us. We will be in touch with you very soon.';
}
?>

有谁知道?

4

1 回答 1

1

这真的很简单。使用内置函数parse_ini_file()

$ini_array = parse_ini_file('../containing-folder/config.ini');
$host = $ini_array['host'];

而且,要重定向用户,您可以执行以下操作:

if (isset($host) && filter_var($host, FILTER_VALIDATE_URL)) {
    echo 'Thank you for contacting us. We will be in touch with you very soon.';
    header("Location: $host");
    exit();
}

这也将确保这$host是一个有效的 URL。

于 2013-10-23T13:25:33.263 回答