blob: cdcb65fc07b85827b114fd60f1c082ce5811b5fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
<?php
/* $Id$
* Wez Furlong <wez@thebrainroom.com>
*
* Set options in a php.ini file.
* This is a support script for the installer.
*
* $argv[1] is the path to the ini file
* $argv[2] is the path to the option file
*/
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") {
$pat = "/^;?extension\s*=\s*" . preg_quote($value, '/') . "/i";
} else {
$pat = "/^;?" . preg_quote($name, '/') . "\s*=\s*/i";
}
$opts[] = array('pat' => $pat, 'name' => $name, 'value' => $value);
}
$new_name = $ini_name . "~";
$dest = fopen($new_name, "w");
if (!$dest) {
echo "Could not create temporary file! $new_name\n";
flush();
sleep(10);
die("Cannot create temporary file!");
}
$lines = file($ini_name);
foreach ($lines as $line) {
foreach ($opts as $k => $optdata) {
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]);
break;
}
}
fwrite($dest, $line);
}
fclose($dest);
unlink($ini_name);
rename($new_name, $ini_name);
echo "All done!\n";
sleep(1);
?>
|
