cvs: phpdoc /scripts genPHP_INI_ENTRY.php
| From: | Philip Olson | Date: | Tue, 13 May 2003 02:21:12 +0000 |
| Subject: | cvs: phpdoc /scripts genPHP_INI_ENTRY.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969353409@lists.php.net to get a copy of this message | ||
philip Mon May 12 22:21:12 2003 EDT
Modified files:
/phpdoc/scripts genPHP_INI_ENTRY.php
Log:
Dummy check has changed. Also, a simple phpsrc directory check.
Index: phpdoc/scripts/genPHP_INI_ENTRY.php
diff -u phpdoc/scripts/genPHP_INI_ENTRY.php:1.7 phpdoc/scripts/genPHP_INI_ENTRY.php:1.8
--- phpdoc/scripts/genPHP_INI_ENTRY.php:1.7 Thu May 8 14:23:16 2003
+++ phpdoc/scripts/genPHP_INI_ENTRY.php Mon May 12 22:21:12 2003
@@ -4,15 +4,18 @@
* generate a list of PHP config options and where they
* can be set.
* Author: Jesus M. Castagnetto
- * $Id: genPHP_INI_ENTRY.php,v 1.7 2003/05/08 18:23:16 jmcastagnetto Exp $
+ * $Id: genPHP_INI_ENTRY.php,v 1.8 2003/05/13 02:21:12 philip Exp $
*/
$phpsrc_dir = '';
// use command line parameter is available
if ($argc == 2 && $argv[1] != '') {
- $phpsrc_dir = $argv[1];
+ if (@is_dir($argv[1])) {
+ $phpsrc_dir = realpath($argv[1]);
+ } else {
+ die ("Invalid phpsrc_dir, {$argv[1]} is not a directory\n");
+ }
}
-//$phpsrc_dir = '/cvs/php5';
// figure out the php4 source dir
if ($phpsrc_dir == '') {
if (file_exists('../php4')) {
@@ -48,7 +51,7 @@
<?xml version="1.0" encoding="iso-8859-1"?>
<!-- Automatically generated using gen_PHP_INI_ENTRY.php -->
<!-- DO NOT EDIT. -->
-<!-- \$Revision: 1.7 $ -->
+<!-- \$Revision: 1.8 $ -->
<section id="##ID##.configuration">
&reftitle.runtime;
&extension.runtime;\n\n
@@ -196,7 +199,7 @@
//$match = str_replace('"','',$match);
//$entry = preg_split('/,\s*/', $match);
// dummy settings seem to always have these values (ex. ncurses.c)
- if ($entry[1] == 42 || $entry[1] == 'foobar') {
+ if ($entry[2] == 42 || $entry[2] == 'foobar') {
continue;
}
$found['INI'][$entry[1]] = array(