diff options
| author | Remi Collet <fedora@famillecollet.com> | 2014-01-10 13:00:45 +0100 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2014-01-10 13:00:45 +0100 |
| commit | 8a6cf11606172cd33dd7abda27b658ceb47ff70e (patch) | |
| tree | d4126a742e03ee0ca053aa6da6fc8269ae51f493 /php-irodsphp-3.3.0-configpath.patch | |
php-irodsphp: import from rawhide
Diffstat (limited to 'php-irodsphp-3.3.0-configpath.patch')
| -rw-r--r-- | php-irodsphp-3.3.0-configpath.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/php-irodsphp-3.3.0-configpath.patch b/php-irodsphp-3.3.0-configpath.patch new file mode 100644 index 0000000..d815f33 --- /dev/null +++ b/php-irodsphp-3.3.0-configpath.patch @@ -0,0 +1,18 @@ +--- irods/prods/src/ProdsConfig.inc.php 2014-01-04 15:06:19.850730474 -0800 ++++ irods/prods/src/ProdsConfig.inc.php.new 2014-01-04 15:07:29.058508522 -0800 +@@ -9,11 +9,11 @@ + + /**#@-*/ + +-if (file_exists(__DIR__ . "/prods.ini")) { +- $GLOBALS['PRODS_CONFIG'] = parse_ini_file(__DIR__ . "/prods.ini", true); ++if (file_exists("/etc/php-irodsphp/prods.ini")) { ++ $GLOBALS['PRODS_CONFIG'] = parse_ini_file("/etc/php-irodsphp/prods.ini", true); + } + else { + $GLOBALS['PRODS_CONFIG'] = array(); + } + +-?> +\ No newline at end of file ++?> |