wez Sun Feb 16 18:46:45 2003 EDT
Modified files:
/php4/win32/installer setini.php
Log:
Some additional sanity.
Index: php4/win32/installer/setini.php
diff -u php4/win32/installer/setini.php:1.2 php4/win32/installer/setini.php:1.3
--- php4/win32/installer/setini.php:1.2 Sun Feb 9 19:20:53 2003
+++ php4/win32/installer/setini.php Sun Feb 16 18:46:45 2003
@@ -1,5 +1,5 @@
<?php
-/* $Id: setini.php,v 1.2 2003/02/10 00:20:53 wez Exp $
+/* $Id: setini.php,v 1.3 2003/02/16 23:46:45 wez Exp $
* Wez Furlong <[EMAIL PROTECTED]>
*
* Set options in a php.ini 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 @@
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 @@
rename($new_name, $ini_name);
echo "All done!\n";
-
+sleep(1);
?>
--
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
