diff options
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 ++?> |