mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-29 04:46:07 +08:00
Code Issues Packages Projects Releases Wiki Activity

Some additional sanity.

Browse Source
This commit is contained in:
Wez Furlong 2003-02-16 23:46:45 +00:00
parent 83f399fed0
commit f0b8f6dcfb
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
win32/installer/setini.php
View File

@ -11,14 +11,32 @@
echo "Running post-installation script to configure php.ini\n";
function fatal($msg)
{
echo $msg;
sleep(5);
exit(1);
}
$ini_name = $argv[1];
$option_file = $argv[2];
if (!file_exists($option_file)) {
fatal("Option file $option_file does not exist");
}
if (!file_exists($ini_name)) {
fatal("inifile $ini_name does not exist");
}
$options = explode("\n", file_get_contents($option_file));
$opts = array();
/* Parse the options */
foreach ($options as $line) {
if (strlen(trim($line)) == 0)
continue;
list($name, $value) = explode("=", $line);
if ($name == "extension") {
@ -48,6 +66,7 @@ foreach ($lines as $line) {
extract($optdata);
if (preg_match($pat, $line)) {
echo "Found $pat ; setting $name to $value\n";
$line = "$name=$value\r\n";
// No need to match again
unset($opts[$k]);
@ -64,5 +83,5 @@ unlink($ini_name);
rename($new_name, $ini_name);
echo "All done!\n";
sleep(1);
?>